Symbolic logic framework for situational awareness in mixed autonomy

Projektinformationen

SymAware

ID Finanzhilfevereinbarung: 101070802

DOI

10.3030/101070802

EK-Unterschriftsdatum 22 Juni 2022

Startdatum 1 Oktober 2022

Enddatum 31 März 2026

Finanziert unter

• The European Innovation Council (EIC)

Gesamtkosten

€ 3 980 291,25

EU-Beitrag

€ 3 980 291,00

Koordiniert durch

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

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

Veröffentlichungen

Conference proceedings (7)

SySCoRe: Synthesis via Stochastic Coupling Relations

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

Verification of Quantum Systems using Barrier Certificates

Autoren: Marco Lewis; Paolo Zuliani; Sadegh Soudjani
Veröffentlicht in: Quantitative Evaluation of Systems. QEST 2023, 2023, ISBN 978-3-031-43835-6
Herausgeber: Springer
DOI: 10.48550/arXiv.2307.07307

Poster Abstract: A Toolchain for Accelerated Symbolic Control

Autoren: Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
Veröffentlicht in: HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023, ISBN 9798400700330
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3575870.3589554

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

Autoren: Oliver Schön; Birgit Van Huijgevoort; Sofie Haesaert; Sadegh Soudjani
Veröffentlicht in: HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023, ISBN 9798400700330
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3575870.3589547

Correct-by-Design Control of Parametric Stochastic Systems

Autoren: Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Veröffentlicht in: 2022 IEEE 61st Conference on Decision and Control (CDC 2022), 2023, ISSN 2576-2370
Herausgeber: IEEE
DOI: 10.48550/arXiv.2210.08269

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

Autoren: Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
Veröffentlicht in: 2022 IEEE 61st Conference on Decision and Control (CDC, 2023, ISSN 2576-2370
Herausgeber: IEEE
DOI: 10.48550/arXiv.2203.10041

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

Autoren: Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck & Sadegh Soudjani
Veröffentlicht in: International Conference on Computer Aided Verification 2023, 2023, ISBN 978-3-031-37709-9
Herausgeber: Springer
DOI: 10.5281/zenodo.7877791

Peer reviewed articles (1)

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

Autoren: Mengyu Zhong, Marc Fraile, Ginevra Castellano, Katie Winkle
Veröffentlicht in: Frontiers in Computer Science, Ausgabe 1152532, 2023, ISSN 2624-9898
Herausgeber: Frontiers Media
DOI: 10.3389/fcomp.2023.1152532