Reactive Synthesis in Action

Project Information

SYNTACT

Grant agreement ID: 101069165

DOI

10.3030/101069165

Project closed

EC signature date 19 April 2022

Start date 1 May 2022

End date 31 October 2023

Funded under

• European Research Council (ERC)

Total cost

No data

EU contribution

€ 150 000,00

Coordinated by

TEL AVIV UNIVERSITY
Israel

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 .

Publications

Conference proceedings (6)

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

Author(s): Dor Ma'ayan; Shahar Maoz
Published in: ICSE, 2023, ISSN 2832-7632
Publisher: IEEE
DOI: 10.1109/icse48619.2023.00071

Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration

Author(s): Dor Ma'ayan; Shahar Maoz; Roey Rosy
Published in: MODELS, 2022
Publisher: ACM
DOI: 10.1145/3550355.3552425

Triggers for Reactive Synthesis Specifications

Author(s): Gal Amram; Dor Ma'ayan; Shahar Maoz; Or Pistiner; Jan Oliver Ringert
Published in: ICSE, 2023
Publisher: IEEE
DOI: 10.1109/ICSE48619.2023.00070

Anti-Patterns (Smells) in Temporal Specifications

Author(s): Dor Ma'ayan; Shahar Maoz; Jan Oliver Ringert
Published in: ICSE, 2023, ISSN 2832-7632
Publisher: IEEE
DOI: 10.1109/ICSE-NIER58687.2023.00009

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

Author(s): Ariel Gorenstein; Shahar Maoz; Jan Oliver Ringert
Published in: ICSE, 2024
Publisher: IEEE

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

Author(s): Rafi Shalom; Shahar Maoz
Published in: ICSE, 2023
Publisher: IEEE
DOI: 10.1109/ICSE48619.2023.00030