Compositional Controller Synthesis for Stochastic Games

Design of autonomous systems is facilitated by automatic synthesis of correct-by-construction controllers from formal models and speci cations. We focus on stochastic games, which can model the interaction with an adverse environment, as well as probabilistic behaviour arising from uncertainties. We...

Ausführliche Beschreibung

Bibliographische Detailangaben
Hauptverfasser: Basset, N, Kwiatkowska, M, Wiltsche, C
Format: Report
Veröffentlicht: DCS 2014