Poster Abstract: Permissiveness for Strategy Adaptation-Reference-Cited by-同舟云学术

Poster Abstract: Permissiveness for Strategy Adaptation

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:

Anand Ashwani¹^ORCID,Nayak Satya Prakash¹^ORCID,Schmuck Anne-Kathrin²^ORCID

Affiliation:

1. Max Planck Institute for Software Systems, Germany

2. Max-Planck-Institute for Software Systems, Germany

Publisher

ACM

Link

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

Reference8 articles.

1. Rajeev Alur . 2015. Principles of cyber-physical systems . MIT press . Rajeev Alur. 2015. Principles of cyber-physical systems. MIT press.

2. Ashwani Anand Kaushik Mallik Satya Prakash Nayak and Anne-Kathrin Schmuck. 2023. Computing Adequately Permissive Assumptions for Synthesis. https://arxiv.org/abs/2301.07563 Ashwani Anand Kaushik Mallik Satya Prakash Nayak and Anne-Kathrin Schmuck. 2023. Computing Adequately Permissive Assumptions for Synthesis. https://arxiv.org/abs/2301.07563

3. Permissive strategies: from parity games to safety games

4. Patricia Bouyer , Nicolas Markey , Jörg Olschewski , and Michael Ummels . 2011. Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited . In ATVA 2011(Lecture Notes in Computer Science, Vol. 6996) . Springer , 135–149. Patricia Bouyer, Nicolas Markey, Jörg Olschewski, and Michael Ummels. 2011. Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. In ATVA 2011(Lecture Notes in Computer Science, Vol. 6996). Springer, 135–149.

5. Krishnendu Chatterjee , Thomas A Henzinger , Barbara Jobstmann , and Arjun Radhakrishna . 2010 . Gist: A solver for probabilistic games. In CAV. Krishnendu Chatterjee, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. 2010. Gist: A solver for probabilistic games. In CAV.