Theoretical Foundations of Advanced Synthesis

Informazioni relative al progetto

ADVANSYNT

ID dell’accordo di sovvenzione: 101054616

DOI

10.3030/101054616

Data della firma CE 30 Maggio 2022

Data di avvio 1 Settembre 2022

Data di completamento 31 Agosto 2027

Finanziato da

• European Research Council (ERC)

Costo totale

€ 2 328 750,00

Contributo UE

€ 2 328 750,00

Coordinato da

THE HEBREW UNIVERSITY OF JERUSALEM
Israel

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Data Management Plan (1)

Data Management Plan

Drafting of Data Management plan

Pubblicazioni

Conference proceedings (5)

Synthesis with Privacy Against an Observer

Autori: Orna Kupferman, Ofer Leshkowitz and Naama Shamash Halevy
Pubblicato in: FoSSaCS 2024, 2024
Editore: Springer
DOI: 10.1007/978-3-031-57228-9\_13

Games with Trading of Control

Autori: Orna Kupferman and Noam Shenwald
Pubblicato in: CONCUR 2023, 2023
Editore: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.CONCUR.2023.1910.4230/LIPICS.CONCUR.2023.19

On Semantically-Deterministic Automata

Autori: Bader Abu Radi and Orna Kupferman
Pubblicato in: ICALP 2023, 2023
Editore: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.ICALP.2023.109

Restricted Flow Games

Autori: Ravid Alon and Orna Kupferman
Pubblicato in: 2024
Editore: Springer
DOI: 10.1007/978-3-031-56222-8\_2

Monotonicity Characterizations of Regular Languages

Autori: Yoav Feinstein and Orna Kupferman
Pubblicato in: FST&TCS 2023, 2023
Editore: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.FSTTCS.2023.26

Peer reviewed articles (6)

Timed network games

Autori: Guy Avni, Shibashis Guha, Orna Kupferman
Pubblicato in: Information and Computation, Numero 290, 2023, ISSN 0890-5401
Editore: Elsevier BV
DOI: 10.1016/J.IC.2022.104996

Reasoning about Quality and Fuzziness of Strategic Behaviors

Autori: Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Pubblicato in: ACM Transactions on Computational Logic, Numero 24, 2023, ISSN 1529-3785
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3582498

Perspective Games

Autori: Orna Kupferman, Gal Vardi
Pubblicato in: ACM Transactions on Computational Logic, Numero 25, 2024, ISSN 1529-3785
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3627705

Mutually Accepting Capacitated Automata

Autori: Ravid Alon and Orna Kupferman
Pubblicato in: J. Autom. Lang. Comb., 2023, ISSN 2567-3785
Editore: Otto-von-Guericke-Universität Magdeburg
DOI: 10.25596/JALC-2023-005

Lazy regular sensing

Autori: Orna Kupferman, Asaf Petruschka
Pubblicato in: Theoretical Computer Science, Numero 971, 2024, ISSN 0304-3975
Editore: Elsevier BV
DOI: 10.1016/J.TCS.2023.114057

The Complexity of LTL Rational Synthesis

Autori: Orna Kupferman, Noam Shenwald
Pubblicato in: ACM Transactions on Computational Logic, Numero 25, 2024, ISSN 1529-3785
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3648473