Author of the publication

Minimum-Time Reachability in Timed Games.

, , , and . ICALP, volume 4596 of Lecture Notes in Computer Science, page 825-837. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning., , , and . IEEE Robotics Autom. Lett., 8 (3): 1595-1602 (March 2023)Games with secure equilibria., , and . Theor. Comput. Sci., 365 (1-2): 67-82 (2006)Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems., , , and . Hybrid Systems, volume 736 of Lecture Notes in Computer Science, page 209-229. Springer, (1992)A Comparison of Control Problems for Timed and Hybrid Systems., , and . HSCC, volume 2289 of Lecture Notes in Computer Science, page 134-148. Springer, (2002)Inductive sequentialization of asynchronous programs., , , , and . PLDI, page 227-242. ACM, (2020)History-deterministic Timed Automata., , , , and . CoRR, (2023)Quantitative Monitoring of Software.. VSTTE, volume 13124 of Lecture Notes in Computer Science, page 3-6. Springer, (2021)Efficient Synthesis for Concurrency by Semantics-Preserving Transformations., , , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 951-967. Springer, (2013)Termination criteria for solving concurrent safety and reachability games., , and . SODA, page 197-206. SIAM, (2009)Computer-aided Verification of Embedded Systems.. IFIP Congress: Fundamentals - Foundations of Computer Science, volume 117 of books@ocg.at, page 89-92. Austrian Computer Society, (1998)