( en | de | ru )

 

Disambiguation of "Henzinger, Thomas A."

Author of the publication

copydeleteadd this publication to your clipboard
Safety and Liveness of Quantitative Automata.

, , , and . CONCUR, volume 279 of LIPIcs, page 17:1-17:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

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 Müller

 

Other publications of authors with the same name

Algorithms for Omega-Regular Games with Imperfect Information., , , and . Logical Methods in Computer Science, (2007)Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems., and . Hybrid Systems, volume 1066 of Lecture Notes in Computer Science, page 377-388. Springer, (1995)Robust Timed Automata., , and . HART, volume 1201 of Lecture Notes in Computer Science, page 331-345. Springer, (1997)Model Checking: From Hardware to Software.. APLAS, volume 2895 of Lecture Notes in Computer Science, page 176-177. Springer, (2003)A Logic-Based Framework for Verifying Consensus Algorithms., , , , and . VMCAI, volume 8318 of Lecture Notes in Computer Science, page 161-181. Springer, (2014)Quantitative Synthesis for Concurrent Programs., , , , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 243-259. Springer, (2011)The Symbolic Approach to Hybrid Systems.. CAV, volume 2404 of Lecture Notes in Computer Science, page 57. Springer, (2002)Local Liveness for Compositional Modeling of Fair Reactive Systems., and . CAV, volume 939 of Lecture Notes in Computer Science, page 166-179. Springer, (1995)QUASY: Quantitative Synthesis Tool., , , and . TACAS, volume 6605 of Lecture Notes in Computer Science, page 267-271. Springer, (2011)Fair Bisimulation., and . TACAS, volume 1785 of Lecture Notes in Computer Science, page 299-314. Springer, (2000)