Poster Abstract: A Toolchain for Accelerated Symbolic Control-Reference-Cited by-同舟云学术

Poster Abstract: A Toolchain for Accelerated Symbolic Control

Published:2023-05-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Majumdar Rupak¹^ORCID,Mallik Kaushik²^ORCID,Rychlicki Mateusz³^ORCID,Schmuck Anne-Kathrin⁴^ORCID,Soudjani Sadegh⁵^ORCID

Affiliation:

1. MPI-SWS, Germany

2. Institute of Science and Technology Austria, Austria

3. School of Computing, University of Leeds, United Kingdom

4. Max Planck Institute for Software Systems, Germany

5. Newcastle University, United Kingdom

Funder

Engineering and Physical Sciences Research Council

European Research Council

Deutsche Forschungsgemeinschaft

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3575870.3589554

Reference8 articles.

1. Tamajit Banerjee , Rupak Majumdar , Kaushik Mallik , Anne-Kathrin Schmuck , and Sadegh Soudjani . 2022. A direct symbolic algorithm for solving stochastic Rabin games . In TACAS ’22 . Springer , 81–98. Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. 2022. A direct symbolic algorithm for solving stochastic Rabin games. In TACAS ’22. Springer, 81–98.

2. Tamajit Banerjee , Rupak Majumdar , Kaushik Mallik , Anne-Kathrin Schmuck , and Sadegh Soudjani . 2023. Fast symbolic algorithms for omega-regular games under strong transition fairness. TheoretiCS 2 ( 2023 ). Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. 2023. Fast symbolic algorithms for omega-regular games under strong transition fairness. TheoretiCS 2 (2023).

3. Abstraction-based synthesis for stochastic systems with omega-regular objectives;Dutreix Maxence;NAHS,2022

4. David E Long , Anca Browne , Edmund M Clarke , Somesh Jha , and Wilfredo R Marrero . 1994. An improved algorithm for the evaluation of fixpoint expressions . In CAV ’94 . Springer , 338–350. David E Long, Anca Browne, Edmund M Clarke, Somesh Jha, and Wilfredo R Marrero. 1994. An improved algorithm for the evaluation of fixpoint expressions. In CAV ’94. Springer, 338–350.

5. Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games