( en | de | ru )

 

Disambiguierung von "Kupferman, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Perspective Games.

, und . ACM Trans. Comput. Log., 25 (1): 4:1-4:26 (Januar 2024)

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

Trading Probability for Fairness., , und . CSL, Volume 2471 von Lecture Notes in Computer Science, Seite 292-305. Springer, (2002)Alternating-time temporal logic., , und . J. ACM, 49 (5): 672-713 (2002)Fair Equivalence Relations., , und . FSTTCS, Volume 1974 von Lecture Notes in Computer Science, Seite 151-163. Springer, (2000)Vacuity Detection in Temporal Model Checking., und . CHARME, Volume 1703 von Lecture Notes in Computer Science, Seite 82-96. Springer, (1999)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)