Symbolic logic framework for situational awareness in mixed autonomy

Información del proyecto

SymAware

Identificador del acuerdo de subvención: 101070802

DOI

10.3030/101070802

Fecha de la firma de la CE 22 Junio 2022

Fecha de inicio 1 Octubre 2022

Fecha de finalización 31 Marzo 2026

Financiado con arreglo a

• The European Innovation Council (EIC)

Coste total

€ 3 980 291,25

Aportación de la UE

€ 3 980 291,00

Coordinado por

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

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

Publicaciones

Conference proceedings (7)

SySCoRe: Synthesis via Stochastic Coupling Relations

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

Verification of Quantum Systems using Barrier Certificates

Autores: Marco Lewis; Paolo Zuliani; Sadegh Soudjani
Publicado en: Quantitative Evaluation of Systems. QEST 2023, 2023, ISBN 978-3-031-43835-6
Editor: Springer
DOI: 10.48550/arXiv.2307.07307

Poster Abstract: A Toolchain for Accelerated Symbolic Control

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

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

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

Correct-by-Design Control of Parametric Stochastic Systems

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

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

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

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

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

Peer reviewed articles (1)

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

Autores: Mengyu Zhong, Marc Fraile, Ginevra Castellano, Katie Winkle
Publicado en: Frontiers in Computer Science, Edición 1152532, 2023, ISSN 2624-9898
Editor: Frontiers Media
DOI: 10.3389/fcomp.2023.1152532