Theoretical Foundations of Advanced Synthesis

Projektinformationen

ADVANSYNT

ID Finanzhilfevereinbarung: 101054616

DOI

10.3030/101054616

EK-Unterschriftsdatum 30 Mai 2022

Startdatum 1 September 2022

Enddatum 31 August 2027

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 2 328 750,00

EU-Beitrag

€ 2 328 750,00

Koordiniert durch

THE HEBREW UNIVERSITY OF JERUSALEM
Israel

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Data Management Plan (1)

Data Management Plan

Drafting of Data Management plan

Veröffentlichungen

Conference proceedings (5)

Synthesis with Privacy Against an Observer

Autoren: Orna Kupferman, Ofer Leshkowitz and Naama Shamash Halevy
Veröffentlicht in: FoSSaCS 2024, 2024
Herausgeber: Springer
DOI: 10.1007/978-3-031-57228-9\_13

Games with Trading of Control

Autoren: Orna Kupferman and Noam Shenwald
Veröffentlicht in: CONCUR 2023, 2023
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.CONCUR.2023.1910.4230/LIPICS.CONCUR.2023.19

On Semantically-Deterministic Automata

Autoren: Bader Abu Radi and Orna Kupferman
Veröffentlicht in: ICALP 2023, 2023
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.ICALP.2023.109

Restricted Flow Games

Autoren: Ravid Alon and Orna Kupferman
Veröffentlicht in: 2024
Herausgeber: Springer
DOI: 10.1007/978-3-031-56222-8\_2

Monotonicity Characterizations of Regular Languages

Autoren: Yoav Feinstein and Orna Kupferman
Veröffentlicht in: FST&TCS 2023, 2023
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.FSTTCS.2023.26

Peer reviewed articles (6)

Timed network games

Autoren: Guy Avni, Shibashis Guha, Orna Kupferman
Veröffentlicht in: Information and Computation, Ausgabe 290, 2023, ISSN 0890-5401
Herausgeber: Elsevier BV
DOI: 10.1016/J.IC.2022.104996

Reasoning about Quality and Fuzziness of Strategic Behaviors

Autoren: Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Veröffentlicht in: ACM Transactions on Computational Logic, Ausgabe 24, 2023, ISSN 1529-3785
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3582498

Perspective Games

Autoren: Orna Kupferman, Gal Vardi
Veröffentlicht in: ACM Transactions on Computational Logic, Ausgabe 25, 2024, ISSN 1529-3785
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3627705

Mutually Accepting Capacitated Automata

Autoren: Ravid Alon and Orna Kupferman
Veröffentlicht in: J. Autom. Lang. Comb., 2023, ISSN 2567-3785
Herausgeber: Otto-von-Guericke-Universität Magdeburg
DOI: 10.25596/JALC-2023-005

Lazy regular sensing

Autoren: Orna Kupferman, Asaf Petruschka
Veröffentlicht in: Theoretical Computer Science, Ausgabe 971, 2024, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/J.TCS.2023.114057

The Complexity of LTL Rational Synthesis

Autoren: Orna Kupferman, Noam Shenwald
Veröffentlicht in: ACM Transactions on Computational Logic, Ausgabe 25, 2024, ISSN 1529-3785
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3648473