Reactive Synthesis in Action

Informations projet

SYNTACT

N° de convention de subvention: 101069165

DOI

10.3030/101069165

Projet clôturé

Date de signature de la CE 19 Avril 2022

Date de début 1 Mai 2022

Date de fin 31 Octobre 2023

Financé au titre de

• European Research Council (ERC)

Coût total

Aucune donnée

Contribution de l’UE

€ 150 000,00

Coordonné par

TEL AVIV UNIVERSITY
Israel

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (6)

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

Auteurs: Dor Ma'ayan; Shahar Maoz
Publié dans: ICSE, 2023, ISSN 2832-7632
Éditeur: IEEE
DOI: 10.1109/icse48619.2023.00071

Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration

Auteurs: Dor Ma'ayan; Shahar Maoz; Roey Rosy
Publié dans: MODELS, 2022
Éditeur: ACM
DOI: 10.1145/3550355.3552425

Triggers for Reactive Synthesis Specifications

Auteurs: Gal Amram; Dor Ma'ayan; Shahar Maoz; Or Pistiner; Jan Oliver Ringert
Publié dans: ICSE, 2023
Éditeur: IEEE
DOI: 10.1109/ICSE48619.2023.00070

Anti-Patterns (Smells) in Temporal Specifications

Auteurs: Dor Ma'ayan; Shahar Maoz; Jan Oliver Ringert
Publié dans: ICSE, 2023, ISSN 2832-7632
Éditeur: IEEE
DOI: 10.1109/ICSE-NIER58687.2023.00009

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

Auteurs: Ariel Gorenstein; Shahar Maoz; Jan Oliver Ringert
Publié dans: ICSE, 2024
Éditeur: IEEE

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

Auteurs: Rafi Shalom; Shahar Maoz
Publié dans: ICSE, 2023
Éditeur: IEEE
DOI: 10.1109/ICSE48619.2023.00030