Compositional strategy synthesis for stochastic games with multiple objectives
Design of autonomous systems is facilitated by automatic synthesis of controllers from formal models and specifications. We focus on stochastic games, which can model interaction with an adverse environment, as well as probabilistic behaviour arising from uncertainties. Our contribution is twofold....
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
Elsevier
2017
|