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...
| 主要な著者: | , , |
|---|---|
| フォーマット: | Report |
| 出版事項: |
DCS
2014
|