( en | de | ru )

 

Disambiguierung von "Vardi, Moshe Y."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract).

, , und . ICALP, Volume 194 von Lecture Notes in Computer Science, Seite 465-474. Springer, (1985)

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.

Amir Moshe

Max Mosheim

Assaf Vardi

Lily Vardimon

Moshe Pinus

 

Weitere Publikationen von Autoren mit dem selben Namen

What Is an Inference Rule?, , und . J. Symb. Log., 57 (3): 1018-1045 (1992)Special Selection in Logic in Computer Science.. J. Symb. Log., 62 (2): 608 (1997)Black Box Checking., , und . FORTE, Volume 156 von IFIP Conference Proceedings, Seite 225-240. Kluwer, (1999)Module Checking Revisited., und . CAV, Volume 1254 von Lecture Notes in Computer Science, Seite 36-47. Springer, (1997)Factored boolean functional synthesis., und . FMCAD, Seite 124-131. IEEE, (2017)Approximate Probabilistic Inference via Word-Level Counting., , , und . CoRR, (2015)Intersection and Rotation of Assumption Literals Boosts Bug-Finding., , , , und . VSTTE, Volume 12031 von Lecture Notes in Computer Science, Seite 180-192. Springer, (2019)Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis., , , und . IEEE Robotics Autom. Lett., 4 (2): 285-292 (2019)Verification of Concurrent Programs: The Automata-Theoretic Framework.. Ann. Pure Appl. Log., 51 (1-2): 79-98 (1991)Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking., , und . Int. J. Softw. Tools Technol. Transf., 13 (4): 319-335 (2011)