Compositional strategy synthesis for stochastic games with multiple objectives
| Autor: | Basset, N., Kwiatkowska, M., Wiltsche, C. |
|---|---|
| Zdroj: | In Information and Computation August 2018 261 Part 3:536-587 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Basset, N., Kwiatkowska, M., Wiltsche, C. |
|---|---|
| Zdroj: | In Information and Computation August 2018 261 Part 3:536-587 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect