Publications Conference proceedings (6) Parametrized Universality Problems for One-Counter Nets Author(s): Almagor, Shaull; Boker, Udi; Hofman, Piotr; Totzke, Patrick Published in: CONCUR 2020, Issue 2, 2020 Publisher: Schloss Dagstuhl DOI: 10.4230/lipics.concur.2020.47 MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation Author(s): Kottinger, Justin; Almagor, Shaull; Lahijanian, Morteza Published in: ICRA 2021, Issue 1, 2021 Publisher: TBA Coverability in 1-VASS with Disequality Tests Author(s): Shaull Almagor Nathann Cohen Guillermo A. Perez Mahsa Shirmohammadi James Worrell Published in: CONCUR 2020, 2020 Publisher: Schloss Dagstuhl DOI: 10.4230/lipics.concur.2020.38 Invariants for Continuous Linear Dynamical Systems Author(s): Almagor, Shaull; Kelmendi, Edon; Ouaknine, Joël; Worrell, James Published in: Leibniz International Proceedings in Informatics, Issue 5, 2020 Publisher: Schloss Dagstuhl DOI: 10.4230/lipics.icalp.2020.107 Process Symmetry in Probabilistic Transducers Author(s): Almagor, Shaull Published in: FSTTCS 2021, Issue 4, 2021, ISBN 978-3-95977-174-0 Publisher: Schloss Dagstuhl DOI: 10.4230/lipics.fsttcs.2020.35 Explainable Multi Agent Path Finding Author(s): Shaull Almagor, Morteza Lahijanian Published in: AAMAS 2020, 2020, ISBN 9781450375184 Publisher: ACM Peer reviewed articles (2) Deciding ω-regular properties on linear recurrence sequences Author(s): Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell Published in: Proceedings of the ACM on Programming Languages, Issue 5/POPL, 2021, Page(s) 1-24, ISSN 2475-1421 Publisher: ACM DOI: 10.1145/3434329 First-Order Orbit Queries Author(s): Shaull Almagor, Joël Ouaknine, James Worrell Published in: Theory of Computing Systems, Issue 65/4, 2021, Page(s) 638-661, ISSN 1432-4350 Publisher: Springer Verlag DOI: 10.1007/s00224-020-09976-7 Book chapters (1) Good-Enough Synthesis Author(s): Shaull Almagor, Orna Kupferman Published in: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Issue 12225, 2020, Page(s) 541-563, ISBN 978-3-030-53290-1 Publisher: Springer International Publishing DOI: 10.1007/978-3-030-53291-8_28 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available