( en | de | ru )

 

Disambiguierung von "Henzinger, Thomas A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Cost of Exactness in Quantitative Reachability.

, , und . Models, Algorithms, Logics and Tools, Volume 10460 von Lecture Notes in Computer Science, Seite 367-381. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Thomas A Vilgis

Thomas A Fischer

Thomas A Fischer

Thomas A Willging

Thomas A Schartel

 

Weitere Publikationen von Autoren mit dem selben Namen

History-Deterministic Timed Automata Are Not Determinizable., , , , und . RP, Volume 13608 von Lecture Notes in Computer Science, Seite 67-76. Springer, (2022)Runtime Monitoring of Dynamic Fairness Properties., , , und . FAccT, Seite 604-614. ACM, (2023)Markov Decision Processes with Multiple Objectives., , und . STACS, Volume 3884 von Lecture Notes in Computer Science, Seite 325-336. Springer, (2006)A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems., , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 3-25. Springer, (2023)Games, Time, and Probability: Graph Models for System Design and Analysis.. SOFSEM (1), Volume 4362 von Lecture Notes in Computer Science, Seite 103-110. Springer, (2007)Temporal Logics for Multi-Agent Systems.. AAMAS, Seite 1. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)Generating Tests from Counterexamples., , , , und . ICSE, Seite 326-335. IEEE Computer Society, (2004)Real-time Logics: Complexity and Expressiveness, und . LICS, Seite 390-401. IEEE Computer Society, (1990)Stack Size Analysis for Interrupt-Driven Programs., , , , , und . SAS, Volume 2694 von Lecture Notes in Computer Science, Seite 109-126. Springer, (2003)Towards Refining Temporal Specifications into Hybrid Systems., , und . Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 60-76. Springer, (1992)