( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Determinization of One-Counter Nets.

, и . CONCUR, том 243 из LIPIcs, стр. 18:1-18:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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.

No persons found for author name Almagor, Shaull
add a person with the name Almagor, Shaull
 

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

Latticed-LTL synthesis in the presence of noisy inputs., и . Discrete Event Dynamic Systems, 27 (3): 547-572 (2017)Parametrized Universality Problems for One-Counter Nets., , , и . CONCUR, том 171 из LIPIcs, стр. 47:1-47:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)High-Quality Synthesis Against Stochastic Environments., и . CSL, том 62 из LIPIcs, стр. 28:1-28:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)The Sensing Cost of Monitoring and Synthesis., , и . FSTTCS, том 45 из LIPIcs, стр. 380-393. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Repairing Multi-Player Games., , и . CONCUR, том 42 из LIPIcs, стр. 325-339. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Latticed-LTL Synthesis in the Presence of Noisy Inputs., и . FoSSaCS, том 8412 из Lecture Notes in Computer Science, стр. 226-241. Springer, (2014)The Geometry of Reachability in Continuous Vector Addition Systems with States., , , и . CoRR, (2022)Conflict-Based Search for Multi-Robot Motion Planning with Kinodynamic Constraints., , и . IROS, стр. 13494-13499. IEEE, (2022)The Geometry of Reachability in Continuous Vector Addition Systems with States., , , и . MFCS, том 272 из LIPIcs, стр. 11:1-11:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Determinization of One-Counter Nets., и . CONCUR, том 243 из LIPIcs, стр. 18:1-18:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)