Follow
Moshe Y. Vardi
Moshe Y. Vardi
Verified email at cs.rice.edu - Homepage
Title
Cited by
Year
Dynamic Programming for Symbolic Boolean Realizability and Synthesis
Y Lin, L Martinelli Tabajara, MY Vardi
International Conference on Computer Aided Verification, 112-134, 2024
2024
The MoXI Model Exchange Tool Suite
C Johannsen, K Nukala, R Dureja, A Irfan, N Shankar, C Tinelli, MY Vardi, ...
International Conference on Computer Aided Verification, 203-218, 2024
2024
Singly exponential translation of alternating weak büchi automata to unambiguous büchi automata
Y Li, S Schewe, MY Vardi
Theoretical Computer Science, 114650, 2024
2024
Human Intuition and Algorithmic Efficiency Must Be Balanced to Enhance Data Mesh Resilience
A Strelzoff, BD Trump, CL Cummings, M Smith, SE Galaitsi, K Stoddard, ...
Communications of the ACM 67 (5), 48-51, 2024
2024
More Is Different, in Social Media Too
MY Vardi
Communications of the ACM 67 (5), 5-5, 2024
2024
Ising model partition-function computation as a weighted counting problem
S Nagy, R Paredes, JM Dudek, L Dueñas-Osorio, MY Vardi
Physical Review E 109 (5), 055301, 2024
12024
The Trembling-Hand Problem for LTLf Planning
P Yu, S Zhu, G De Giacomo, M Kwiatkowska, M Vardi
arXiv preprint arXiv:2404.16163, 2024
2024
Stochastic Games for Interactive Manipulation Domains
K Muvvala, AM Wells, M Lahijanian, LE Kavraki, MY Vardi
arXiv preprint arXiv:2403.04910, 2024
2024
What Do Computing and Economics Have to Say to Each Other?
MY Vardi
Communications of the ACM 67 (3), 5-5, 2024
2024
Symbolic Model-Checking Intermediate-Language Tool Suite
C Johannsen, K Nukala, R Dureja, A Irfan, N Shankar, C Tinelli, MY Vardi, ...
Proceedings of 36th International Conference on Computer Aided Verification …, 2024
22024
MoXI: an intermediate language for symbolic model checking
KY Rozier, R Dureja, A Irfan, C Johannsen, K Nukala, N Shankar, ...
Proceedings of the 30th International Symposium on Model Checking Software …, 2024
52024
Resilience: The Key to Planetary and Societal Sustainability
MY Vardi
Hannes Werthner· Carlo Ghezzi· Jeff Kramer· Julian Nida-Rümelin· Bashar …, 2024
2024
Model-Guided Synthesis for LTL over Finite Traces
S Xiao, Y Li, X Huang, Y Xu, J Li, G Pu, O Strichman, MY Vardi
International Conference on Verification, Model Checking, and Abstract …, 2023
2023
Computing, You Have Blood on Your Hands!
MY Vardi
Communications of the ACM 67 (1), 5-5, 2023
12023
Rice University, Houston, TX, USA vardi@ rice. edu
MY Vardi
Engineering of Computer-Based Systems: 8th International Conference, ECBS …, 2023
2023
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community
KY Rozier, N Shankar, C Tinelli, M Vardi
2023 Formal Methods in Computer-Aided Design (FMCAD), 1-1, 2023
32023
Model Checking Strategies from Synthesis over Finite Traces
S Bansal, Y Li, LM Tabajara, MY Vardi, A Wells
International Symposium on Automated Technology for Verification and …, 2023
22023
What Came First, Math or Computing?
MY Vardi
Communications of the ACM 66 (11), 5-5, 2023
2023
How to Be An Ethical Technologist
MY Vardi
International Conference on Engineering of Computer-Based Systems, 1-6, 2023
2023
To Regulate Tech, Nullify Click-Through Contracts
MY Vardi
Communications of the ACM 66 (9), 5-5, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20