From post

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.

 

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

Sub-game optimal strategies in concurrent games with prefix-independent objectives., , и . CoRR, (2023)A Note on Game Theory and Verification.. ATVA, том 11781 из Lecture Notes in Computer Science, стр. 3-22. Springer, (2019)On the Value Problem in Weighted Timed Games., , и . CONCUR, том 42 из LIPIcs, стр. 311-324. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Expressiveness of Updatable Timed Automata., , , и . MFCS, том 1893 из Lecture Notes in Computer Science, стр. 232-242. Springer, (2000)Almost Optimal Strategies in One Clock Priced Timed Games., , , и . FSTTCS, том 4337 из Lecture Notes in Computer Science, стр. 345-356. Springer, (2006)Optimal Strategies in Priced Timed Game Automata., , , и . FSTTCS, том 3328 из Lecture Notes in Computer Science, стр. 148-160. Springer, (2004)Games Where You Can Play Optimally with Arena-Independent Finite Memory., , , , и . CONCUR, том 171 из LIPIcs, стр. 24:1-24:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Timed Petri nets and timed automata: On the discriminating power of zeno sequences., , и . Inf. Comput., 206 (1): 73-107 (2008)Decisiveness of stochastic systems and its application to hybrid models., , , , и . Inf. Comput., 289 (Part): 104861 (2022)On the optimal reachability problem in weighted timed automata and games.. NCMA, том 318 из books@ocg.at, стр. 11-36. Österreichische Computer Gesellschaft, (2015)