Symbolic logic framework for situational awareness in mixed autonomy

Project Information

SymAware

Grant agreement ID: 101070802

DOI

10.3030/101070802

EC signature date 22 June 2022

Start date 1 October 2022

End date 31 March 2026

Funded under

• The European Innovation Council (EIC)

Total cost

€ 3 980 291,25

EU contribution

€ 3 980 291,00

Coordinated by

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

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

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

Verification of Quantum Systems using Barrier Certificates

Author(s): Marco Lewis; Paolo Zuliani; Sadegh Soudjani
Published in: Quantitative Evaluation of Systems. QEST 2023, 2023, ISBN 978-3-031-43835-6
Publisher: Springer
DOI: 10.48550/arXiv.2307.07307

Poster Abstract: A Toolchain for Accelerated Symbolic Control

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

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

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

Correct-by-Design Control of Parametric Stochastic Systems

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

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

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

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

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

Peer reviewed articles (1)

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

Author(s): Mengyu Zhong, Marc Fraile, Ginevra Castellano, Katie Winkle
Published in: Frontiers in Computer Science, Issue 1152532, 2023, ISSN 2624-9898
Publisher: Frontiers Media
DOI: 10.3389/fcomp.2023.1152532