( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Shielding in Resource-Constrained Goal POMDPs.

, , и . AAAI, стр. 14674-14682. AAAI Press, (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.

Petr Novotný

Katharina Novotný

Luká Novotný

Johannes Novotný

Rudolf Novotny

 

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

Efficient Strategy Synthesis for MDPs With Resource Constraints., , , , и . IEEE Trans. Autom. Control., 68 (8): 4586-4601 (августа 2023)Empowering Business-Level Blockchain Users with a Rules Framework for Smart Contracts., , , , , , , и . ICSOC, том 11236 из Lecture Notes in Computer Science, стр. 111-128. Springer, (2018)On Lexicographic Proof Rules for Probabilistic Termination., , , , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 619-639. Springer, (2021)On-the-fly adaptation of patrolling strategies in changing environments., , , , , и . UAI, том 180 из Proceedings of Machine Learning Research, стр. 244-254. PMLR, (2022)Efficient Controller Synthesis for Consumption Games with Multiple Resource Types., , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 23-38. Springer, (2012)Efficient Algorithms for Checking Fast Termination in VASS., , , , и . CoRR, (2017)Bidding Games on Markov Decision Processes., , , и . RP, том 11674 из Lecture Notes in Computer Science, стр. 1-12. Springer, (2019)On the Complexity of Value Iteration., , , , и . ICALP, том 132 из LIPIcs, стр. 102:1-102:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Shielding in Resource-Constrained Goal POMDPs., , и . AAAI, стр. 14674-14682. AAAI Press, (2023)Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems., , , , , и . IJCAI, стр. 171-179. ijcai.org, (2023)