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

Informations projet

ALGOCERT

N° de convention de subvention: 837327

DOI

10.3030/837327

Projet clôturé

Date de signature de la CE 29 Avril 2019

Date de début 15 Juillet 2019

Date de fin 14 Juillet 2021

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 185 464,32

Contribution de l’UE

€ 185 464,32

Coordonné par

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY
Israel

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (6)

Parametrized Universality Problems for One-Counter Nets

Auteurs: Almagor, Shaull; Boker, Udi; Hofman, Piotr; Totzke, Patrick
Publié dans: CONCUR 2020, Numéro 2, 2020
Éditeur: Schloss Dagstuhl
DOI: 10.4230/lipics.concur.2020.47

MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation

Auteurs: Kottinger, Justin; Almagor, Shaull; Lahijanian, Morteza
Publié dans: ICRA 2021, Numéro 1, 2021
Éditeur: TBA

Coverability in 1-VASS with Disequality Tests

Auteurs: Shaull Almagor Nathann Cohen Guillermo A. Perez Mahsa Shirmohammadi James Worrell
Publié dans: CONCUR 2020, 2020
Éditeur: Schloss Dagstuhl
DOI: 10.4230/lipics.concur.2020.38

Invariants for Continuous Linear Dynamical Systems

Auteurs: Almagor, Shaull; Kelmendi, Edon; Ouaknine, Joël; Worrell, James
Publié dans: Leibniz International Proceedings in Informatics, Numéro 5, 2020
Éditeur: Schloss Dagstuhl
DOI: 10.4230/lipics.icalp.2020.107

Process Symmetry in Probabilistic Transducers

Auteurs: Almagor, Shaull
Publié dans: FSTTCS 2021, Numéro 4, 2021, ISBN 978-3-95977-174-0
Éditeur: Schloss Dagstuhl
DOI: 10.4230/lipics.fsttcs.2020.35

Explainable Multi Agent Path Finding

Auteurs: Shaull Almagor, Morteza Lahijanian
Publié dans: AAMAS 2020, 2020, ISBN 9781450375184
Éditeur: ACM

Peer reviewed articles (2)

Deciding ω-regular properties on linear recurrence sequences

Auteurs: Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 5/POPL, 2021, Page(s) 1-24, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3434329

First-Order Orbit Queries

Auteurs: Shaull Almagor, Joël Ouaknine, James Worrell
Publié dans: Theory of Computing Systems, Numéro 65/4, 2021, Page(s) 638-661, ISSN 1432-4350
Éditeur: Springer Verlag
DOI: 10.1007/s00224-020-09976-7

Book chapters (1)

Good-Enough Synthesis

Auteurs: Shaull Almagor, Orna Kupferman
Publié dans: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Numéro 12225, 2020, Page(s) 541-563, ISBN 978-3-030-53290-1
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-53291-8_28