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
deterministic finite automatastochastic gamesformal controller synthesisapproximate probabilistic relation
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