( en | de | ru )

 

Disambiguierung von "Henzinger, Thomas A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bidding Games on Markov Decision Processes.

, , , und . RP, Volume 11674 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2019)

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

Computer-aided Verification of Embedded Systems.. IFIP Congress: Fundamentals - Foundations of Computer Science, Volume 117 von books@ocg.at, Seite 89-92. Austrian Computer Society, (1998)A hierarchical coordination language for interacting real-time tasks., , , , und . EMSOFT, Seite 132-141. ACM, (2006)From boolean to quantitative synthesis., und . EMSOFT, Seite 149-154. ACM, (2011)Biology As Reactivity, , und . Commun. ACM, 54 (10): 72--82 (Oktober 2011)Parametric real-time reasoning., , und . STOC, Seite 592-601. ACM, (1993)Algorithms for Omega-Regular Games with Imperfect Information, , , und . CoRR, (2007)Lipschitz Robustness of Timed I/O Systems., , und . CoRR, (2015)Verification Methods for the Divergent Runs of Clock Systems., und . FTRTFT, Volume 863 von Lecture Notes in Computer Science, Seite 351-372. Springer, (1994)Alternating Weighted Automata., , und . FCT, Volume 5699 von Lecture Notes in Computer Science, Seite 3-13. Springer, (2009)Infinite-Duration Poorman-Bidding Games., , und . WINE, Volume 11316 von Lecture Notes in Computer Science, Seite 21-36. Springer, (2018)