Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations

DOI10.1145/3501710.3524732OpenAlexW4225375143MaRDI QIDQ6120725

Abolfazl Lavaei, Marco Caccamo, Bingzhuo Zhong, Majid Zamani

Publication date: 21 February 2024

Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

zbMATH Keywords

deterministic finite automatastochastic gamesformal controller synthesisapproximate probabilistic relation

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

• Unnamed Item
• Approximate model checking of stochastic hybrid systems
• Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• A stochastic games framework for verification and control of discrete time stochastic hybrid systems

This page was built for publication: Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations