- Title:
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Zhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid; Caccamo, Marco
- Journal title:
- Automatica
- Year:
- 2023
- Journal volume:
- 147
- Pages contribution:
- 110696
- Fulltext / DOI:
- doi:10.1016/j.automatica.2022.110696
- Publisher:
- Elsevier BV
- E-ISSN:
- 0005-1098
- Date of publication:
- 01.01.2023
- BibTeX