Theoretical Foundations of Advanced Synthesis

Project Information

ADVANSYNT

Grant agreement ID: 101054616

DOI

10.3030/101054616

EC signature date 30 May 2022

Start date 1 September 2022

End date 31 August 2027

Funded under

• European Research Council (ERC)

Total cost

€ 2 328 750,00

EU contribution

€ 2 328 750,00

Coordinated by

THE HEBREW UNIVERSITY OF JERUSALEM
Israel

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Data Management Plan (1)

Data Management Plan

Drafting of Data Management plan

Publications

Conference proceedings (5)

Synthesis with Privacy Against an Observer

Author(s): Orna Kupferman, Ofer Leshkowitz and Naama Shamash Halevy
Published in: FoSSaCS 2024, 2024
Publisher: Springer
DOI: 10.1007/978-3-031-57228-9\_13

Games with Trading of Control

Author(s): Orna Kupferman and Noam Shenwald
Published in: CONCUR 2023, 2023
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.CONCUR.2023.1910.4230/LIPICS.CONCUR.2023.19

On Semantically-Deterministic Automata

Author(s): Bader Abu Radi and Orna Kupferman
Published in: ICALP 2023, 2023
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.ICALP.2023.109

Restricted Flow Games

Author(s): Ravid Alon and Orna Kupferman
Published in: 2024
Publisher: Springer
DOI: 10.1007/978-3-031-56222-8\_2

Monotonicity Characterizations of Regular Languages

Author(s): Yoav Feinstein and Orna Kupferman
Published in: FST&TCS 2023, 2023
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.FSTTCS.2023.26

Peer reviewed articles (6)

Timed network games

Author(s): Guy Avni, Shibashis Guha, Orna Kupferman
Published in: Information and Computation, Issue 290, 2023, ISSN 0890-5401
Publisher: Elsevier BV
DOI: 10.1016/J.IC.2022.104996

Reasoning about Quality and Fuzziness of Strategic Behaviors

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

Perspective Games

Author(s): Orna Kupferman, Gal Vardi
Published in: ACM Transactions on Computational Logic, Issue 25, 2024, ISSN 1529-3785
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3627705

Mutually Accepting Capacitated Automata

Author(s): Ravid Alon and Orna Kupferman
Published in: J. Autom. Lang. Comb., 2023, ISSN 2567-3785
Publisher: Otto-von-Guericke-Universität Magdeburg
DOI: 10.25596/JALC-2023-005

Lazy regular sensing

Author(s): Orna Kupferman, Asaf Petruschka
Published in: Theoretical Computer Science, Issue 971, 2024, ISSN 0304-3975
Publisher: Elsevier BV
DOI: 10.1016/J.TCS.2023.114057

The Complexity of LTL Rational Synthesis

Author(s): Orna Kupferman, Noam Shenwald
Published in: ACM Transactions on Computational Logic, Issue 25, 2024, ISSN 1529-3785
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3648473