Reactive Synthesis in Action

Información del proyecto

SYNTACT

Identificador del acuerdo de subvención: 101069165

DOI

10.3030/101069165

Proyecto cerrado

Fecha de la firma de la CE 19 Abril 2022

Fecha de inicio 1 Mayo 2022

Fecha de finalización 31 Octubre 2023

Financiado con arreglo a

• European Research Council (ERC)

Coste total

Sin datos

Aportación de la UE

€ 150 000,00

Coordinado por

TEL AVIV UNIVERSITY
Israel

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (6)

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

Autores: Dor Ma'ayan; Shahar Maoz
Publicado en: ICSE, 2023, ISSN 2832-7632
Editor: IEEE
DOI: 10.1109/icse48619.2023.00071

Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration

Autores: Dor Ma'ayan; Shahar Maoz; Roey Rosy
Publicado en: MODELS, 2022
Editor: ACM
DOI: 10.1145/3550355.3552425

Triggers for Reactive Synthesis Specifications

Autores: Gal Amram; Dor Ma'ayan; Shahar Maoz; Or Pistiner; Jan Oliver Ringert
Publicado en: ICSE, 2023
Editor: IEEE
DOI: 10.1109/ICSE48619.2023.00070

Anti-Patterns (Smells) in Temporal Specifications

Autores: Dor Ma'ayan; Shahar Maoz; Jan Oliver Ringert
Publicado en: ICSE, 2023, ISSN 2832-7632
Editor: IEEE
DOI: 10.1109/ICSE-NIER58687.2023.00009

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

Autores: Ariel Gorenstein; Shahar Maoz; Jan Oliver Ringert
Publicado en: ICSE, 2024
Editor: IEEE

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

Autores: Rafi Shalom; Shahar Maoz
Publicado en: ICSE, 2023
Editor: IEEE
DOI: 10.1109/ICSE48619.2023.00030