( en | de | ru )

 

Disambiguierung von "Novotný, Petr"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Stability in Graphs and Games.

, , , und . CONCUR, Volume 59 von LIPIcs, Seite 10:1-10:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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.

Petr Novotný

Katharina Novotný

Luká Novotný

Johannes Novotný

Rudolf Novotny

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Algorithms for Checking Fast Termination in VASS., , , , und . CoRR, (2017)Efficient Controller Synthesis for Consumption Games with Multiple Resource Types., , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 23-38. Springer, (2012)On-the-fly adaptation of patrolling strategies in changing environments., , , , , und . UAI, Volume 180 von Proceedings of Machine Learning Research, Seite 244-254. PMLR, (2022)On Lexicographic Proof Rules for Probabilistic Termination., , , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 619-639. Springer, (2021)Efficient Strategy Synthesis for MDPs With Resource Constraints., , , , und . IEEE Trans. Autom. Control., 68 (8): 4586-4601 (August 2023)Empowering Business-Level Blockchain Users with a Rules Framework for Smart Contracts., , , , , , , und . ICSOC, Volume 11236 von Lecture Notes in Computer Science, Seite 111-128. Springer, (2018)Bidding Games on Markov Decision Processes., , , und . RP, Volume 11674 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2019)On the Complexity of Value Iteration., , , , und . ICALP, Volume 132 von LIPIcs, Seite 102:1-102:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Shielding in Resource-Constrained Goal POMDPs., , und . AAAI, Seite 14674-14682. AAAI Press, (2023)Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications., , , , und . ICAPS, Seite 48-56. AAAI Press, (2020)