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


Publisher:
DCS
Publication date:
2014-01-01
URN:
uuid:3e96880c-9ffe-401b-bdd9-67a01a44be56
Local pid:
cs:8795

Terms of use


Metrics


Views and Downloads






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

TO TOP