Robust Weighted Timed Automata and Games

DOI10.1007/978-3-642-40229-6_3zbMath1390.68375OpenAlexW110275697MaRDI QIDQ2842657

Nicolas Markey, Patricia Bouyer, Ocan Sankur

Publication date: 16 August 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-40229-6_3

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

This page was built for publication: Robust Weighted Timed Automata and Games