Symbolic logic framework for situational awareness in mixed autonomy

Informations projet

SymAware

N° de convention de subvention: 101070802

DOI

10.3030/101070802

Date de signature de la CE 22 Juin 2022

Date de début 1 Octobre 2022

Date de fin 31 Mars 2026

Financé au titre de

• The European Innovation Council (EIC)

Coût total

€ 3 980 291,25

Contribution de l’UE

€ 3 980 291,00

Coordonné par

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

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 .

Livrables

Data Management Plan (1)

Data Management Plan (1st version)

Data Management Plan first version

Websites, patent fillings, videos etc. (1)

Public website

Public website Design and first implementation with core static content

Other (2)

Software tools on public Git repository (first release)

Software tools on public Git repository first release

First version of the framework and tool integration

Publications

Conference proceedings (7)

SySCoRe: Synthesis via Stochastic Coupling Relations

Auteurs: Birgit van Huijgevoort; Oliver Schön; Sadegh Soudjani; Sofie Haesaert
Publié dans: HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023, ISBN 9798400700330
Éditeur: Association for Computing Machinery
DOI: 10.48550/ARXIV.2302.12294

Verification of Quantum Systems using Barrier Certificates

Auteurs: Marco Lewis; Paolo Zuliani; Sadegh Soudjani
Publié dans: Quantitative Evaluation of Systems. QEST 2023, 2023, ISBN 978-3-031-43835-6
Éditeur: Springer
DOI: 10.48550/arXiv.2307.07307

Poster Abstract: A Toolchain for Accelerated Symbolic Control

Auteurs: Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
Publié dans: HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023, ISBN 9798400700330
Éditeur: Association for Computing Machinery
DOI: 10.1145/3575870.3589554

Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱

Auteurs: Oliver Schön; Birgit Van Huijgevoort; Sofie Haesaert; Sadegh Soudjani
Publié dans: HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023, ISBN 9798400700330
Éditeur: Association for Computing Machinery
DOI: 10.1145/3575870.3589547

Correct-by-Design Control of Parametric Stochastic Systems

Auteurs: Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Publié dans: 2022 IEEE 61st Conference on Decision and Control (CDC 2022), 2023, ISSN 2576-2370
Éditeur: IEEE
DOI: 10.48550/arXiv.2210.08269

Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts

Auteurs: Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
Publié dans: 2022 IEEE 61st Conference on Decision and Control (CDC, 2023, ISSN 2576-2370
Éditeur: IEEE
DOI: 10.48550/arXiv.2203.10041

A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties

Auteurs: Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck & Sadegh Soudjani
Publié dans: International Conference on Computer Aided Verification 2023, 2023, ISBN 978-3-031-37709-9
Éditeur: Springer
DOI: 10.5281/zenodo.7877791

Peer reviewed articles (1)

A case study in designing trustworthy interactions: implications for socially assistive robotics

Auteurs: Mengyu Zhong, Marc Fraile, Ginevra Castellano, Katie Winkle
Publié dans: Frontiers in Computer Science, Numéro 1152532, 2023, ISSN 2624-9898
Éditeur: Frontiers Media
DOI: 10.3389/fcomp.2023.1152532