Poster Abstract: Permissiveness for Strategy Adaptation

DOI10.1145/3575870.3589555OpenAlexW4375852419MaRDI QIDQ6202124

Anne-Kathrin Schmuck, Unnamed Author, Unnamed Author

Publication date: 21 February 2024

Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3575870.3589555

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
• Verification and Control of Hybrid Systems
• Permissive strategies: from parity games to safety games
• Generalized Parity Games

This page was built for publication: Poster Abstract: Permissiveness for Strategy Adaptation