Strategy Synthesis for Multi-Dimensional Quantitative Objectives

Lecture Notes in Computer Science - CONCUR 2012 – Concurrency Theory ◽

10.1007/978-3-642-32940-1_10 ◽

2012 ◽

pp. 115-131 ◽

Cited By ~ 13

Author(s):

Krishnendu Chatterjee ◽

Mickael Randour ◽

Jean-François Raskin

Download Full-text