Author of the publication

On some Relations between Dynamical Systems and Transition Systems.

, and . ICALP, volume 820 of Lecture Notes in Computer Science, page 59-72. Springer, (1994)

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

Equations on Timed Languages.. HSCC, volume 1386 of Lecture Notes in Computer Science, page 1-12. Springer, (1998)Perturbed Turing Machines and Hybrid Systems., and . LICS, page 269-278. IEEE Computer Society, (2001)Simple Algorithm for Simple Timed Games., , and . TIME, page 99-106. IEEE Computer Society, (2009)Timed regular expressions., , and . J. ACM, 49 (2): 172-206 (2002)Bandwidth of Timed Automata: 3 Classes., , , and . FSTTCS, volume 284 of LIPIcs, page 10:1-10:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions., , , and . HSCC, page 14:1-14:13. ACM, (2023)Computing the Bandwidth of Meager Timed Automata., , , and . CIAA, volume 15015 of Lecture Notes in Computer Science, page 19-34. Springer, (2024)Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches., , , , , and . ICAPS, page 2-9. AAAI, (2007)Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy., and . FSTTCS, volume 1026 of Lecture Notes in Computer Science, page 471-483. Springer, (1995)As Soon as Possible: Time Optimal Control for Timed Automata., and . HSCC, volume 1569 of Lecture Notes in Computer Science, page 19-30. Springer, (1999)