( en | de | ru )

 

Disambiguierung von "Kupferman, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An automata-theoretic approach to branching-time model checking.

, , und . J. ACM, 47 (2): 312-360 (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Orna Ehling

Orna Rosen

Magdalena Ornatowska

Frederik Ornau

Adam S Ornatek

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesis with rational environments., , und . Ann. Math. Artif. Intell., 78 (1): 3-20 (2016)On Synthesis of Specifications with Arithmetic., und . SOFSEM, Volume 12011 von Lecture Notes in Computer Science, Seite 161-173. Springer, (2020)Repairing Multi-Player Games., , und . CONCUR, Volume 42 von LIPIcs, Seite 325-339. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)On Relative and Probabilistic Finite Counterability., und . CSL, Volume 41 von LIPIcs, Seite 175-192. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)High-Quality Synthesis Against Stochastic Environments., und . CSL, Volume 62 von LIPIcs, Seite 28:1-28:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)The Sensing Cost of Monitoring and Synthesis., , und . FSTTCS, Volume 45 von LIPIcs, Seite 380-393. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Multi-player flow games., , und . Auton. Agents Multi Agent Syst., 33 (6): 798-820 (2019)Erratum for "What causes a system to satisfy a specification?"., , und . ACM Trans. Comput. Log., 11 (4): 29:1-29:2 (2010)Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata., und . FoSSaCS, Volume 5504 von Lecture Notes in Computer Science, Seite 182-196. Springer, (2009)Co-Büching Them All., und . FoSSaCS, Volume 6604 von Lecture Notes in Computer Science, Seite 184-198. Springer, (2011)