Strategy synthesis for multi-dimensional quantitative objectives

DOI10.1007/978-3-642-32940-1_10MaRDI QIDQ6828157zbMATH OpenFDO

Authors Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin

Publication date 25 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Strategy synthesis for multi-dimensional quantitative objectives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6828157)