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

Informacje na temat projektu

ALGOCERT

Identyfikator umowy o grant: 837327

DOI

10.3030/837327

Projekt został zamknięty

Data podpisania przez KE 29 Kwietnia 2019

Data rozpoczęcia 15 Lipca 2019

Data zakończenia 14 Lipca 2021

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 185 464,32

Wkład UE

€ 185 464,32

Koordynowany przez

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY
Israel

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (6)

Parametrized Universality Problems for One-Counter Nets

Autorzy: Almagor, Shaull; Boker, Udi; Hofman, Piotr; Totzke, Patrick
Opublikowane w: CONCUR 2020, Numer 2, 2020
Wydawca: Schloss Dagstuhl
DOI: 10.4230/lipics.concur.2020.47

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

Autorzy: Kottinger, Justin; Almagor, Shaull; Lahijanian, Morteza
Opublikowane w: ICRA 2021, Numer 1, 2021
Wydawca: TBA

Coverability in 1-VASS with Disequality Tests

Autorzy: Shaull Almagor Nathann Cohen Guillermo A. Perez Mahsa Shirmohammadi James Worrell
Opublikowane w: CONCUR 2020, 2020
Wydawca: Schloss Dagstuhl
DOI: 10.4230/lipics.concur.2020.38

Invariants for Continuous Linear Dynamical Systems

Autorzy: Almagor, Shaull; Kelmendi, Edon; Ouaknine, Joël; Worrell, James
Opublikowane w: Leibniz International Proceedings in Informatics, Numer 5, 2020
Wydawca: Schloss Dagstuhl
DOI: 10.4230/lipics.icalp.2020.107

Process Symmetry in Probabilistic Transducers

Autorzy: Almagor, Shaull
Opublikowane w: FSTTCS 2021, Numer 4, 2021, ISBN 978-3-95977-174-0
Wydawca: Schloss Dagstuhl
DOI: 10.4230/lipics.fsttcs.2020.35

Explainable Multi Agent Path Finding

Autorzy: Shaull Almagor, Morteza Lahijanian
Opublikowane w: AAMAS 2020, 2020, ISBN 9781450375184
Wydawca: ACM

Peer reviewed articles (2)

Deciding ω-regular properties on linear recurrence sequences

Autorzy: Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 5/POPL, 2021, Strona(/y) 1-24, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3434329

First-Order Orbit Queries

Autorzy: Shaull Almagor, Joël Ouaknine, James Worrell
Opublikowane w: Theory of Computing Systems, Numer 65/4, 2021, Strona(/y) 638-661, ISSN 1432-4350
Wydawca: Springer Verlag
DOI: 10.1007/s00224-020-09976-7

Book chapters (1)

Good-Enough Synthesis

Autorzy: Shaull Almagor, Orna Kupferman
Opublikowane w: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Numer 12225, 2020, Strona(/y) 541-563, ISBN 978-3-030-53290-1
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-53291-8_28