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...
| Main Authors: | , , |
|---|---|
| 格式: | Report |
| 出版: |
DCS
2014
|