Theoretical Foundations of Advanced Synthesis

Informations projet

ADVANSYNT

N° de convention de subvention: 101054616

DOI

10.3030/101054616

Date de signature de la CE 30 Mai 2022

Date de début 1 Septembre 2022

Date de fin 31 Août 2027

Financé au titre de

• European Research Council (ERC)

Coût total

€ 2 328 750,00

Contribution de l’UE

€ 2 328 750,00

Coordonné par

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

Livrables

Data Management Plan (1)

Data Management Plan

Drafting of Data Management plan

Publications

Conference proceedings (5)

Synthesis with Privacy Against an Observer

Auteurs: Orna Kupferman, Ofer Leshkowitz and Naama Shamash Halevy
Publié dans: FoSSaCS 2024, 2024
Éditeur: Springer
DOI: 10.1007/978-3-031-57228-9\_13

Games with Trading of Control

Auteurs: Orna Kupferman and Noam Shenwald
Publié dans: CONCUR 2023, 2023
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.CONCUR.2023.1910.4230/LIPICS.CONCUR.2023.19

On Semantically-Deterministic Automata

Auteurs: Bader Abu Radi and Orna Kupferman
Publié dans: ICALP 2023, 2023
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.ICALP.2023.109

Restricted Flow Games

Auteurs: Ravid Alon and Orna Kupferman
Publié dans: 2024
Éditeur: Springer
DOI: 10.1007/978-3-031-56222-8\_2

Monotonicity Characterizations of Regular Languages

Auteurs: Yoav Feinstein and Orna Kupferman
Publié dans: FST&TCS 2023, 2023
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.FSTTCS.2023.26

Peer reviewed articles (6)

Timed network games

Auteurs: Guy Avni, Shibashis Guha, Orna Kupferman
Publié dans: Information and Computation, Numéro 290, 2023, ISSN 0890-5401
Éditeur: Elsevier BV
DOI: 10.1016/J.IC.2022.104996

Reasoning about Quality and Fuzziness of Strategic Behaviors

Auteurs: Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Publié dans: ACM Transactions on Computational Logic, Numéro 24, 2023, ISSN 1529-3785
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3582498

Perspective Games

Auteurs: Orna Kupferman, Gal Vardi
Publié dans: ACM Transactions on Computational Logic, Numéro 25, 2024, ISSN 1529-3785
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3627705

Mutually Accepting Capacitated Automata

Auteurs: Ravid Alon and Orna Kupferman
Publié dans: J. Autom. Lang. Comb., 2023, ISSN 2567-3785
Éditeur: Otto-von-Guericke-Universität Magdeburg
DOI: 10.25596/JALC-2023-005

Lazy regular sensing

Auteurs: Orna Kupferman, Asaf Petruschka
Publié dans: Theoretical Computer Science, Numéro 971, 2024, ISSN 0304-3975
Éditeur: Elsevier BV
DOI: 10.1016/J.TCS.2023.114057

The Complexity of LTL Rational Synthesis

Auteurs: Orna Kupferman, Noam Shenwald
Publié dans: ACM Transactions on Computational Logic, Numéro 25, 2024, ISSN 1529-3785
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3648473