This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Moshe Y. Vardi
A grouping.
Moshe Y. Vardi: the automata-theoretic approach to model checking (1986), reasoning about infinite computations, the effectiveness of logic in computer science, and a CACM column on 'move fast and break things'.
13 references
Move fast and break things
Moshe Y. Vardi (2018) · Communications of the ACM · Association for Computing Machinery
Supervisory control and reactive synthesis: a comparative introduction
Rüdiger Ehlers and others (2017) · Discrete Event Dynamic Systems · Springer Science+Business Media
Automata: from logics to algorithms
Moshe Y. Vardi and others (2008) · Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].
On the unusual effectiveness of logic in computer science
Joseph Y. Halpern and others (2001) · Bulletin of Symbolic Logic
On Bounded Specifications
Orna Kupferman and others (2001) · Lecture notes in computer science · Springer Science+Business Media
Alternating automata: Unifying truth and validity checking for temporal logics
Moshe Y. Vardi (1997) · Lecture notes in computer science · Springer Science+Business Media
An automata-theoretic approach to linear temporal logic
Moshe Y. Vardi (1996) · Springer Berlin Heidelberg
Reasoning About Knowledge
Ronald Fagin and others (1995) · The MIT Press
Alternating automata and program verification
Moshe Y. Vardi (1995) · Lecture notes in computer science · Springer Science+Business Media
Reasoning about Infinite Computations
Moshe Y. Vardi and others (1994) · Information and Computation · Elsevier BV
Model Checking vs. Theorem Proving: A Manifesto
Joseph Y Halpern and others (1991) · Elsevier
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
Moshe Y. Vardi and others (1986) · Proceedings of the First Annual Symposium on Logic in Computer Science
The complexity of relational query languages
Moshe Y. Vardi (1982) · Proceedings of the 14th ACM Symposium on Theory of Computing