( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
What's decidable about hybrid automata?

, , , и . STOC, стр. 373-382. ACM, (1995)

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.

Thomas A Vilgis

Thomas A Fischer

Thomas A Fischer

Thomas A Willging

Thomas A Schartel

 

Другие публикации лиц с тем же именем

Independent Implementability of Viewpoints., и . Monterey Workshop, том 7539 из Lecture Notes in Computer Science, стр. 380-395. Springer, (2012)Algorithms for Omega-Regular Games with Imperfect Information, ., , , и . CSL, том 4207 из Lecture Notes in Computer Science, стр. 287-302. Springer, (2006)Prooving Safety Properties of Hybrid Systems., , , и . FTRTFT, том 863 из Lecture Notes in Computer Science, стр. 431-454. Springer, (1994)From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis., , , , , , и . CAV (2), том 9207 из Lecture Notes in Computer Science, стр. 180-197. Springer, (2015)Specification-centered robustness., , , , и . SIES, стр. 176-185. IEEE, (2011)Infinite-Duration Bidding Games., , и . CONCUR, том 85 из LIPIcs, стр. 21:1-21:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Determinizing Discounted-Sum Automata., и . CSL, том 12 из LIPIcs, стр. 82-96. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Membership-Based Synthesis of Linear Hybrid Automata., , , и . CAV (1), том 11561 из Lecture Notes in Computer Science, стр. 297-314. Springer, (2019)It's About Time: Real-Time Logics Reviewed.. CONCUR, том 1466 из Lecture Notes in Computer Science, стр. 439-454. Springer, (1998)The Element of Surprise in Timed Games., , , , и . CONCUR, том 2761 из Lecture Notes in Computer Science, стр. 142-156. Springer, (2003)