C. Wiltsche
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Strategy synthesis for stochastic games with multiple long-run objectives Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
| Compositional strategy synthesis for stochastic games with multiple objectives Information and Computation | 2018-06-14 | Paper |
| Compositional controller synthesis for stochastic games CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
| On stochastic games with multiple objectives Mathematical Foundations of Computer Science 2013 | 2013-09-20 | Paper |
Research outcomes over time
This page was built for person: C. Wiltsche
