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

Informazioni relative al progetto

ALGOCERT

ID dell’accordo di sovvenzione: 837327

DOI

10.3030/837327

Progetto chiuso

Data della firma CE 29 Aprile 2019

Data di avvio 15 Luglio 2019

Data di completamento 14 Luglio 2021

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 185 464,32

Contributo UE

€ 185 464,32

Coordinato da

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY
Israel

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (6)

Parametrized Universality Problems for One-Counter Nets

Autori: Almagor, Shaull; Boker, Udi; Hofman, Piotr; Totzke, Patrick
Pubblicato in: CONCUR 2020, Numero 2, 2020
Editore: Schloss Dagstuhl
DOI: 10.4230/lipics.concur.2020.47

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

Autori: Kottinger, Justin; Almagor, Shaull; Lahijanian, Morteza
Pubblicato in: ICRA 2021, Numero 1, 2021
Editore: TBA

Coverability in 1-VASS with Disequality Tests

Autori: Shaull Almagor Nathann Cohen Guillermo A. Perez Mahsa Shirmohammadi James Worrell
Pubblicato in: CONCUR 2020, 2020
Editore: Schloss Dagstuhl
DOI: 10.4230/lipics.concur.2020.38

Invariants for Continuous Linear Dynamical Systems

Autori: Almagor, Shaull; Kelmendi, Edon; Ouaknine, Joël; Worrell, James
Pubblicato in: Leibniz International Proceedings in Informatics, Numero 5, 2020
Editore: Schloss Dagstuhl
DOI: 10.4230/lipics.icalp.2020.107

Process Symmetry in Probabilistic Transducers

Autori: Almagor, Shaull
Pubblicato in: FSTTCS 2021, Numero 4, 2021, ISBN 978-3-95977-174-0
Editore: Schloss Dagstuhl
DOI: 10.4230/lipics.fsttcs.2020.35

Explainable Multi Agent Path Finding

Autori: Shaull Almagor, Morteza Lahijanian
Pubblicato in: AAMAS 2020, 2020, ISBN 9781450375184
Editore: ACM

Peer reviewed articles (2)

Deciding ω-regular properties on linear recurrence sequences

Autori: Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 5/POPL, 2021, Pagina/e 1-24, ISSN 2475-1421
Editore: ACM
DOI: 10.1145/3434329

First-Order Orbit Queries

Autori: Shaull Almagor, Joël Ouaknine, James Worrell
Pubblicato in: Theory of Computing Systems, Numero 65/4, 2021, Pagina/e 638-661, ISSN 1432-4350
Editore: Springer Verlag
DOI: 10.1007/s00224-020-09976-7

Book chapters (1)

Good-Enough Synthesis

Autori: Shaull Almagor, Orna Kupferman
Pubblicato in: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Numero 12225, 2020, Pagina/e 541-563, ISBN 978-3-030-53290-1
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-53291-8_28