researcher

Moshe Y. Vardi

Rice University

77 papers hereh-index 10442.9k citations753 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position

first author2
middle author14
last author61

Across the 77 of 77 papers where every author was matched, so the position is known.

fields

cs.LO37
cs.AI10
cs.FL10
cs.DS5
cs.GT5
cs.DB2

affiliations

Rice University

Homepage

same name

Moshe Y. Vardi — 7 papers, h 3
Moshe Y. Vardi — 7 papers, h 3
Moshe Y. Vardi — 1 paper

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity

19982023

most citedMulti-Objective Model Checking of Markov Decision Processes

138 citations · 778 across the 69 of their papers we have counts for

collaborators

Showing 2008Show all

2 papers · 1 filter

cs.LO2008★ 138 cited

Multi-Objective Model Checking of Markov Decision Processes

Kousha Etessami, Marta Kwiatkowska, Moshe Y. Vardi +1

We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regul…

cs.LO2008★ 26 cited

The Complexity of Enriched Mu-Calculi

Piero A. Bonatti, Carsten Lutz, Aniello Murano +1

The fully enriched μ-calculus is the extension of the propositional μ-calculus with inverse programs, graded modalities, and nominals. While satisfiability in several express…