Symbolic logic framework for situational awareness in mixed autonomy

Informacje na temat projektu

SymAware

Identyfikator umowy o grant: 101070802

DOI

10.3030/101070802

Data podpisania przez KE 22 Czerwca 2022

Data rozpoczęcia 1 Października 2022

Data zakończenia 31 Marca 2026

Finansowanie w ramach

• The European Innovation Council (EIC)

Koszt całkowity

€ 3 980 291,25

Wkład UE

€ 3 980 291,00

Koordynowany przez

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

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

Publikacje

Conference proceedings (7)

SySCoRe: Synthesis via Stochastic Coupling Relations

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

Verification of Quantum Systems using Barrier Certificates

Autorzy: Marco Lewis; Paolo Zuliani; Sadegh Soudjani
Opublikowane w: Quantitative Evaluation of Systems. QEST 2023, 2023, ISBN 978-3-031-43835-6
Wydawca: Springer
DOI: 10.48550/arXiv.2307.07307

Poster Abstract: A Toolchain for Accelerated Symbolic Control

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

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

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

Correct-by-Design Control of Parametric Stochastic Systems

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

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

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

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

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

Peer reviewed articles (1)

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

Autorzy: Mengyu Zhong, Marc Fraile, Ginevra Castellano, Katie Winkle
Opublikowane w: Frontiers in Computer Science, Numer 1152532, 2023, ISSN 2624-9898
Wydawca: Frontiers Media
DOI: 10.3389/fcomp.2023.1152532