( en | de | ru )

 

Disambiguierung von "Vardi, Moshe Y."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
What Can Machines Know? On the Epistemic Properties of Machines.

, , und . AAAI, Seite 428-435. Morgan Kaufmann, (1986)

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

Memory-Efficient Algorithms for the Verification of Temporal Properties., , , und . Formal Methods in System Design, 1 (2/3): 275-288 (1992)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)Black Box Checking., , und . FORTE, Volume 156 von IFIP Conference Proceedings, Seite 225-240. Kluwer, (1999)Node Selection Query Languages for Trees., , , und . CoRR, (2015)Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees., , , , , und . IEEE Trans. Robotics, 32 (3): 583-599 (2016)How we lost the women in computing.. Commun. ACM, 61 (5): 9 (2018)SAT-based Explicit LTLf Satisfiability Checking., , , , und . CoRR, (2018)Büchi Complementation Made Tighter., , und . ATVA, Volume 3299 von Lecture Notes in Computer Science, Seite 64-78. Springer, (2004)From Church and Prior to PSL.. 25 Years of Model Checking, Volume 5000 von Lecture Notes in Computer Science, Seite 150-171. Springer, (2008)