( en | de | ru )

 

Disambiguierung von "Kupferman, Orna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Latticed-LTL synthesis in the presence of noisy inputs.

, und . Discrete Event Dynamic Systems, 27 (3): 547-572 (2017)

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

Alternating-time temporal logic., , und . J. ACM, 49 (5): 672-713 (2002)Vacuity Detection in Temporal Model Checking., und . CHARME, Volume 1703 von Lecture Notes in Computer Science, Seite 82-96. Springer, (1999)Fair Equivalence Relations., , und . FSTTCS, Volume 1974 von Lecture Notes in Computer Science, Seite 151-163. Springer, (2000)Trading Probability for Fairness., , und . CSL, Volume 2471 von Lecture Notes in Computer Science, Seite 292-305. Springer, (2002)Erratum for "What causes a system to satisfy a specification?"., , und . ACM Trans. Comput. Log., 11 (4): 29:1-29:2 (2010)A Game-Theoretic Approach to Simulation of Data-Parameterized Systems., , und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 348-363. Springer, (2014)Fair Simulation., , und . CONCUR, Volume 1243 von Lecture Notes in Computer Science, Seite 273-287. Springer, (1997)Inherent Vacuity in Lattice Automata., und . Fields of Logic and Computation II, Volume 9300 von Lecture Notes in Computer Science, Seite 174-192. Springer, (2015)Co-Büching Them All., und . FoSSaCS, Volume 6604 von Lecture Notes in Computer Science, Seite 184-198. Springer, (2011)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)