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.

 

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

Revisiting Synthesis for One-Counter Automata., и . CoRR, (2020)Mean-payoff Games with Incomplete Information., , и . CoRR, (2013)Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability., и . CoRR, (2022)Active Learning of Mealy Machines with Timers., , , , и . CoRR, (2024)Validating Streaming JSON Documents with Learned VPAs., , и . CoRR, (2022)The Wasserstein Believer: Learning Belief Updates for Partially Observable Environments through Reliable Latent Space Models., , , , и . CoRR, (2023)Coverability in 1-VASS with Disequality Tests., , , , и . CONCUR, том 171 из LIPIcs, стр. 38:1-38:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Weak Cost Register Automata Are Still Powerful., , , и . DLT, том 11088 из Lecture Notes in Computer Science, стр. 83-95. Springer, (2018)A Framework for the Competitive Analysis of Model Predictive Controllers., , , , , и . RP, том 14235 из Lecture Notes in Computer Science, стр. 141-154. Springer, (2023)Automata with Timers., , , и . FORMATS, том 14138 из Lecture Notes in Computer Science, стр. 33-49. Springer, (2023)