C | |
---|---|
[CRR12] | Krishnendu Chatterjee,
Mickael Randour, and
Jean-François Raskin.
Strategy Synthesis for Multi-dimensional
Quantitative Objectives.
Research Report 1201.5073, arXiv, January 2012.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1