( en | de | ru )

 

Disambiguation of "Henzinger, Thomas A."

Author of the publication

copydeleteadd this publication to your clipboard
Hybrid Systems Applications: An Oxymoron?

, , , , , , , , , and . HSCC, volume 2034 of Lecture Notes in Computer Science, page 5-6. Springer, (2001)

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.

Thomas A Vilgis

Thomas A Fischer

Thomas A Fischer

Thomas A Willging

Thomas A Schartel

 

Other publications of authors with the same name

Abstract Interpretation of Game Properties., , , and . SAS, volume 1824 of Lecture Notes in Computer Science, page 220-239. Springer, (2000)Lipschitz Robustness of Timed I/O Systems., , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 250-267. Springer, (2016)From Model Checking to Model Measuring., and . CONCUR, volume 8052 of Lecture Notes in Computer Science, page 273-287. Springer, (2013)Qualitative Analysis of Partially-Observable Markov Decision Processes., , and . MFCS, volume 6281 of Lecture Notes in Computer Science, page 258-269. Springer, (2010)From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis., , , , , , and . CAV (2), volume 9207 of Lecture Notes in Computer Science, page 180-197. Springer, (2015)Specification-centered robustness., , , , and . SIES, page 176-185. IEEE, (2011)Membership-Based Synthesis of Linear Hybrid Automata., , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 297-314. Springer, (2019)Infinite-Duration Bidding Games., , and . CONCUR, volume 85 of LIPIcs, page 21:1-21:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Determinizing Discounted-Sum Automata., and . CSL, volume 12 of LIPIcs, page 82-96. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Algorithms for Omega-Regular Games with Imperfect Information, ., , , and . CSL, volume 4207 of Lecture Notes in Computer Science, page 287-302. Springer, (2006)