Reactive Synthesis in Action

Projektinformationen

SYNTACT

ID Finanzhilfevereinbarung: 101069165

DOI

10.3030/101069165

Projekt abgeschlossen

EK-Unterschriftsdatum 19 April 2022

Startdatum 1 Mai 2022

Enddatum 31 Oktober 2023

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

Keine Daten

EU-Beitrag

€ 150 000,00

Koordiniert durch

TEL AVIV UNIVERSITY
Israel

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.

Veröffentlichungen

Conference proceedings (6)

Using Reactive Synthesis: An End-to-End Exploratory Case Study

Autoren: Dor Ma'ayan; Shahar Maoz
Veröffentlicht in: ICSE, 2023, ISSN 2832-7632
Herausgeber: IEEE
DOI: 10.1109/icse48619.2023.00071

Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration

Autoren: Dor Ma'ayan; Shahar Maoz; Roey Rosy
Veröffentlicht in: MODELS, 2022
Herausgeber: ACM
DOI: 10.1145/3550355.3552425

Triggers for Reactive Synthesis Specifications

Autoren: Gal Amram; Dor Ma'ayan; Shahar Maoz; Or Pistiner; Jan Oliver Ringert
Veröffentlicht in: ICSE, 2023
Herausgeber: IEEE
DOI: 10.1109/ICSE48619.2023.00070

Anti-Patterns (Smells) in Temporal Specifications

Autoren: Dor Ma'ayan; Shahar Maoz; Jan Oliver Ringert
Veröffentlicht in: ICSE, 2023, ISSN 2832-7632
Herausgeber: IEEE
DOI: 10.1109/ICSE-NIER58687.2023.00009

Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications

Autoren: Ariel Gorenstein; Shahar Maoz; Jan Oliver Ringert
Veröffentlicht in: ICSE, 2024
Herausgeber: IEEE

Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?

Autoren: Rafi Shalom; Shahar Maoz
Veröffentlicht in: ICSE, 2023
Herausgeber: IEEE
DOI: 10.1109/ICSE48619.2023.00030