Theoretical Foundations of Advanced Synthesis

Informacje na temat projektu

ADVANSYNT

Identyfikator umowy o grant: 101054616

DOI

10.3030/101054616

Data podpisania przez KE 30 Maja 2022

Data rozpoczęcia 1 Września 2022

Data zakończenia 31 Sierpnia 2027

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 2 328 750,00

Wkład UE

€ 2 328 750,00

Koordynowany przez

THE HEBREW UNIVERSITY OF JERUSALEM
Israel

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Data Management Plan (1)

Data Management Plan

Drafting of Data Management plan

Publikacje

Conference proceedings (5)

Synthesis with Privacy Against an Observer

Autorzy: Orna Kupferman, Ofer Leshkowitz and Naama Shamash Halevy
Opublikowane w: FoSSaCS 2024, 2024
Wydawca: Springer
DOI: 10.1007/978-3-031-57228-9\_13

Games with Trading of Control

Autorzy: Orna Kupferman and Noam Shenwald
Opublikowane w: CONCUR 2023, 2023
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.CONCUR.2023.1910.4230/LIPICS.CONCUR.2023.19

On Semantically-Deterministic Automata

Autorzy: Bader Abu Radi and Orna Kupferman
Opublikowane w: ICALP 2023, 2023
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.ICALP.2023.109

Restricted Flow Games

Autorzy: Ravid Alon and Orna Kupferman
Opublikowane w: 2024
Wydawca: Springer
DOI: 10.1007/978-3-031-56222-8\_2

Monotonicity Characterizations of Regular Languages

Autorzy: Yoav Feinstein and Orna Kupferman
Opublikowane w: FST&TCS 2023, 2023
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/LIPICS.FSTTCS.2023.26

Peer reviewed articles (6)

Timed network games

Autorzy: Guy Avni, Shibashis Guha, Orna Kupferman
Opublikowane w: Information and Computation, Numer 290, 2023, ISSN 0890-5401
Wydawca: Elsevier BV
DOI: 10.1016/J.IC.2022.104996

Reasoning about Quality and Fuzziness of Strategic Behaviors

Autorzy: Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Opublikowane w: ACM Transactions on Computational Logic, Numer 24, 2023, ISSN 1529-3785
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3582498

Perspective Games

Autorzy: Orna Kupferman, Gal Vardi
Opublikowane w: ACM Transactions on Computational Logic, Numer 25, 2024, ISSN 1529-3785
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3627705

Mutually Accepting Capacitated Automata

Autorzy: Ravid Alon and Orna Kupferman
Opublikowane w: J. Autom. Lang. Comb., 2023, ISSN 2567-3785
Wydawca: Otto-von-Guericke-Universität Magdeburg
DOI: 10.25596/JALC-2023-005

Lazy regular sensing

Autorzy: Orna Kupferman, Asaf Petruschka
Opublikowane w: Theoretical Computer Science, Numer 971, 2024, ISSN 0304-3975
Wydawca: Elsevier BV
DOI: 10.1016/J.TCS.2023.114057

The Complexity of LTL Rational Synthesis

Autorzy: Orna Kupferman, Noam Shenwald
Opublikowane w: ACM Transactions on Computational Logic, Numer 25, 2024, ISSN 1529-3785
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3648473