C | |
---|---|
[CRR14] | Krishnendu Chatterjee, Mickael Randour, and Jean-François Raskin. Strategy Synthesis for Multi-dimensional Quantitative Objectives. Acta Informatica 51(3-4):129-163. Springer-Verlag, June 2014. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1