Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems

Project Information

ALGOCERT

Grant agreement ID: 837327

DOI

10.3030/837327

Project closed

EC signature date 29 April 2019

Start date 15 July 2019

End date 14 July 2021

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 185 464,32

EU contribution

€ 185 464,32

Coordinated by

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY
Israel

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

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