Timed Parity Games: Complexity and Robustness
From MaRDI portal
Publication:5900485
DOI10.1007/978-3-540-85778-5_10zbMath1171.68527MaRDI QIDQ5900485
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
Publication date: 2 December 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://repository.ist.ac.at/506/1/1011.0688%283%29.pdf
Related Items
Robust synthesis for real-time systems, Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems, Robust Specification of Real Time Components