M
Moshe Y. Vardi
Researcher at Rice University
Publications - 818
Citations - 50821
Moshe Y. Vardi is an academic researcher from Rice University. The author has contributed to research in topics: Model checking & Linear temporal logic. The author has an hindex of 99, co-authored 796 publications receiving 47959 citations. Previous affiliations of Moshe Y. Vardi include Association for Computing Machinery & Beth Israel Deaconess Medical Center.
Papers
More filters
Journal ArticleDOI
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees
Morteza Lahijanian,Matthew R. Maly,Dror Fried,Lydia E. Kavraki,Hadas Kress-Gazit,Moshe Y. Vardi +5 more
TL;DR: A motion-planning framework for a hybrid system with general continuous dynamics to satisfy a temporal logic specification consisting of cosafety and safety components in a partially unknown environment and employs a multilayered synergistic planner to generate trajectories that satisfy the specification and adopt an iterative replanning strategy to deal with unknown obstacles.
Book ChapterDOI
Coverage Metrics for Temporal Logic Model Checking
TL;DR: A distinction between state-based and logic-based coverage, and a distinction between the system and its environment are introduced, and two algorithms for finding the uncovered parts of the system under these definitions are described.
Book ChapterDOI
The Büchi complementation saga
TL;DR: Progress is reviewed on the complementation problem for nondeterministic word automata, which dates back to its introduction in Buchi's seminal 1962 paper, as the subset construction is not sufficient.
Journal ArticleDOI
Phosphodiesterase inhibitors for erectile dysfunction in patients with diabetes mellitus
Moshe Y. Vardi,Asaph Nini +1 more
TL;DR: Sufficient evidence exists that PDE-5 inhibitors form a care that improves erectile dysfunction in diabetic men.
Proceedings ArticleDOI
Knowledge-based programs
TL;DR: In this paper, a sufficient condition is provided for a knowledge-based program to be represented in a unique way in a given context, which applies to many cases of interest, and covers many of the knowledge- based programs considered in the literature.