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
Relentful strategic reasoning in alternating-time temporal logic
TL;DR: In this article, the authors define mATL*, a memoryful extension of ATL*, in which a formula is satisfied at a certain node of a path by taking into account both the future and the past.
Proceedings ArticleDOI
Simplifying schema mappings
TL;DR: This paper formally introduces the problem of finding a simplified (LAV, or GAV) schema mapping M' such that M' logically implies M, and studies it in a variety of cases, providing techniques and complexity bounds.
Journal ArticleDOI
A randomized trial of human C1 inhibitor prophylaxis in children with hereditary angioedema.
Emel Aygören-Pürsün,D. Soteres,Sandra A. Nieto-Martinez,Jim Christensen,Kraig W. Jacobson,Dumitru Moldovan,Arthur Van Leerberghe,Yongqiang Tang,Peng Lu,Moshe Y. Vardi,Jennifer Schranz,Inmaculada Martinez-Saguer +11 more
TL;DR: The safety, efficacy, and health‐related quality of life (HRQoL) outcomes of C1 inhibitor (C1‐INH) prophylaxis (intravenously administered) in patients aged 6‐11 years were investigated.
Proceedings ArticleDOI
Partitioning Techniques in LTLf Synthesis.
Lucas M. Tabajara,Moshe Y. Vardi +1 more
TL;DR: More specialized decomposition techniques are needed for LTLf synthesis which take into account the effects of minimization, due to an overall increase in the size of the explored state space caused by an inability of partitions to fully exploit state-space minimization.