Symbolic logic framework for situational awareness in mixed autonomy

Informazioni relative al progetto

SymAware

ID dell’accordo di sovvenzione: 101070802

DOI

10.3030/101070802

Data della firma CE 22 Giugno 2022

Data di avvio 1 Ottobre 2022

Data di completamento 31 Marzo 2026

Finanziato da

• The European Innovation Council (EIC)

Costo totale

€ 3 980 291,25

Contributo UE

€ 3 980 291,00

Coordinato da

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

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 .

Risultati finali

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

Pubblicazioni

Conference proceedings (7)

SySCoRe: Synthesis via Stochastic Coupling Relations

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

Verification of Quantum Systems using Barrier Certificates

Autori: Marco Lewis; Paolo Zuliani; Sadegh Soudjani
Pubblicato in: Quantitative Evaluation of Systems. QEST 2023, 2023, ISBN 978-3-031-43835-6
Editore: Springer
DOI: 10.48550/arXiv.2307.07307

Poster Abstract: A Toolchain for Accelerated Symbolic Control

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

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

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

Correct-by-Design Control of Parametric Stochastic Systems

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

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

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

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

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

Peer reviewed articles (1)

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

Autori: Mengyu Zhong, Marc Fraile, Ginevra Castellano, Katie Winkle
Pubblicato in: Frontiers in Computer Science, Numero 1152532, 2023, ISSN 2624-9898
Editore: Frontiers Media
DOI: 10.3389/fcomp.2023.1152532