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.

 

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

Shielding in Resource-Constrained Goal POMDPs., , и . AAAI, стр. 14674-14682. AAAI Press, (2023)Deciding Polynomial Termination Complexity for VASS Programs., и . CONCUR, том 203 из LIPIcs, стр. 30:1-30:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Minimality problems for promise versions of finite automata.. NCMA, стр. 41-55. Österreichische Computer Gesellschaft, (2017)Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions., и . CONCUR, том 279 из LIPIcs, стр. 12:1-12:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)