( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Quantitative Safety and Liveness.

, , и . FoSSaCS, том 13992 из Lecture Notes in Computer Science, стр. 349-370. Springer, (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.

Thomas A Vilgis

Thomas A Fischer

Thomas A Fischer

Thomas A Willging

Thomas A Schartel

 

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

Abstract Interpretation of Game Properties., , , и . SAS, том 1824 из Lecture Notes in Computer Science, стр. 220-239. Springer, (2000)Lipschitz Robustness of Timed I/O Systems., , и . VMCAI, том 9583 из Lecture Notes in Computer Science, стр. 250-267. Springer, (2016)From Model Checking to Model Measuring., и . CONCUR, том 8052 из Lecture Notes in Computer Science, стр. 273-287. Springer, (2013)Qualitative Analysis of Partially-Observable Markov Decision Processes., , и . MFCS, том 6281 из Lecture Notes in Computer Science, стр. 258-269. Springer, (2010)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)Membership-Based Synthesis of Linear Hybrid Automata., , , и . CAV (1), том 11561 из Lecture Notes in Computer Science, стр. 297-314. Springer, (2019)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)Algorithms for Omega-Regular Games with Imperfect Information, ., , , и . CSL, том 4207 из Lecture Notes in Computer Science, стр. 287-302. Springer, (2006)