Theoretical Foundations of Advanced Synthesis

Información del proyecto

ADVANSYNT

Identificador del acuerdo de subvención: 101054616

DOI

10.3030/101054616

Fecha de la firma de la CE 30 Mayo 2022

Fecha de inicio 1 Septiembre 2022

Fecha de finalización 31 Agosto 2027

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 2 328 750,00

Aportación de la UE

€ 2 328 750,00

Coordinado por

THE HEBREW UNIVERSITY OF JERUSALEM
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 .

Resultado final

Data Management Plan (1)

Data Management Plan

Drafting of Data Management plan

Publicaciones

Conference proceedings (5)

Synthesis with Privacy Against an Observer

Autores: Orna Kupferman, Ofer Leshkowitz and Naama Shamash Halevy
Publicado en: FoSSaCS 2024, 2024
Editor: Springer
DOI: 10.1007/978-3-031-57228-9\_13

Games with Trading of Control

Autores: Orna Kupferman and Noam Shenwald
Publicado en: CONCUR 2023, 2023
Editor: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.CONCUR.2023.1910.4230/LIPICS.CONCUR.2023.19

On Semantically-Deterministic Automata

Autores: Bader Abu Radi and Orna Kupferman
Publicado en: ICALP 2023, 2023
Editor: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.ICALP.2023.109

Restricted Flow Games

Autores: Ravid Alon and Orna Kupferman
Publicado en: 2024
Editor: Springer
DOI: 10.1007/978-3-031-56222-8\_2

Monotonicity Characterizations of Regular Languages

Autores: Yoav Feinstein and Orna Kupferman
Publicado en: FST&TCS 2023, 2023
Editor: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.FSTTCS.2023.26

Peer reviewed articles (6)

Timed network games

Autores: Guy Avni, Shibashis Guha, Orna Kupferman
Publicado en: Information and Computation, Edición 290, 2023, ISSN 0890-5401
Editor: Elsevier BV
DOI: 10.1016/J.IC.2022.104996

Reasoning about Quality and Fuzziness of Strategic Behaviors

Autores: Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Publicado en: ACM Transactions on Computational Logic, Edición 24, 2023, ISSN 1529-3785
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3582498

Perspective Games

Autores: Orna Kupferman, Gal Vardi
Publicado en: ACM Transactions on Computational Logic, Edición 25, 2024, ISSN 1529-3785
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3627705

Mutually Accepting Capacitated Automata

Autores: Ravid Alon and Orna Kupferman
Publicado en: J. Autom. Lang. Comb., 2023, ISSN 2567-3785
Editor: Otto-von-Guericke-Universität Magdeburg
DOI: 10.25596/JALC-2023-005

Lazy regular sensing

Autores: Orna Kupferman, Asaf Petruschka
Publicado en: Theoretical Computer Science, Edición 971, 2024, ISSN 0304-3975
Editor: Elsevier BV
DOI: 10.1016/J.TCS.2023.114057

The Complexity of LTL Rational Synthesis

Autores: Orna Kupferman, Noam Shenwald
Publicado en: ACM Transactions on Computational Logic, Edición 25, 2024, ISSN 1529-3785
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3648473