Reactive Synthesis in Action

Informazioni relative al progetto

SYNTACT

ID dell’accordo di sovvenzione: 101069165

DOI

10.3030/101069165

Progetto chiuso

Data della firma CE 19 Aprile 2022

Data di avvio 1 Maggio 2022

Data di completamento 31 Ottobre 2023

Finanziato da

• European Research Council (ERC)

Costo totale

Nessun dato

Contributo UE

€ 150 000,00

Coordinato da

TEL AVIV UNIVERSITY
Israel

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 .

Pubblicazioni

Conference proceedings (6)

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

Autori: Dor Ma'ayan; Shahar Maoz
Pubblicato in: ICSE, 2023, ISSN 2832-7632
Editore: IEEE
DOI: 10.1109/icse48619.2023.00071

Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration

Autori: Dor Ma'ayan; Shahar Maoz; Roey Rosy
Pubblicato in: MODELS, 2022
Editore: ACM
DOI: 10.1145/3550355.3552425

Triggers for Reactive Synthesis Specifications

Autori: Gal Amram; Dor Ma'ayan; Shahar Maoz; Or Pistiner; Jan Oliver Ringert
Pubblicato in: ICSE, 2023
Editore: IEEE
DOI: 10.1109/ICSE48619.2023.00070

Anti-Patterns (Smells) in Temporal Specifications

Autori: Dor Ma'ayan; Shahar Maoz; Jan Oliver Ringert
Pubblicato in: ICSE, 2023, ISSN 2832-7632
Editore: IEEE
DOI: 10.1109/ICSE-NIER58687.2023.00009

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

Autori: Ariel Gorenstein; Shahar Maoz; Jan Oliver Ringert
Pubblicato in: ICSE, 2024
Editore: IEEE

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

Autori: Rafi Shalom; Shahar Maoz
Pubblicato in: ICSE, 2023
Editore: IEEE
DOI: 10.1109/ICSE48619.2023.00030