Assume-guarantee strategy synthesis for stochastic games
<p>This thesis presents a framework for the automatic strategy synthesis from quantitative specifications, in order to control autonomous systems. We model systems as turn-based two-player zero-sum stochastic games, which are able to express both stochastic and nondeterministic environmental u...
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Opinnäyte |
| Julkaistu: |
2015
|