Report icon

Report

Compositional Controller Synthesis for Stochastic Games

Abstract:

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 propose a synchronising parallel composition for stochastic games that enables a compositional approach to controller synthesis. We leverage rules for compositional assume-guarantee veri cation of...

Expand abstract

Actions


Access Document


Files:

Authors


Nicolas Basset More by this author
Marta Kwiatkowska More by this author
Clemens Wiltsche More by this author
Publisher:
DCS
Publication date:
2014
URN:
uuid:3e96880c-9ffe-401b-bdd9-67a01a44be56
Local pid:
cs:8795

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP