Moshe Y. Vardi

ORCID

Publication Activity (10 Years)

Years Active: 1979-2024
Publications (10 Years): 235

Top Venues

Publications

Moshe Y. Vardi
Computing, You Have Blood on Your Hands! Commun. ACM 67 (1) (2024)
Moshe Y. Vardi
Logical Algorithmics: From Relational Queries to Boolean Reasoning (Invited Talk). SAT (2024)
Moshe Y. Vardi
Logical Algorithmics: From Theory to Practice (Invited Talk). CSL (2024)
Khen Elimelech, Zachary K. Kingston, Wil Thomason, Moshe Y. Vardi, Lydia E. Kavraki
Accelerating Long-Horizon Planning with Affordance-Directed Dynamic Grounding of Abstract Strategies. ICRA (2024)
Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
Stochastic Games for Interactive Manipulation Domains. ICRA (2024)
Moshe Y. Vardi
What Do Computing and Economics Have to Say to Each Other? Commun. ACM 67 (3) (2024)
Moshe Y. Vardi
More Is Different, in Social Media Too. Commun. ACM 67 (5) (2024)
Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
Stochastic Games for Interactive Manipulation Domains. CoRR (2024)
Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi
The Trembling-Hand Problem for LTLf Planning. CoRR (2024)
Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi
Dynamic Programming for Symbolic Boolean Realizability and Synthesis. CoRR (2024)
Moshe Y. Vardi
Is Computing a Discipline in Crisis? Commun. ACM 67 (7) (2024)
Yi Lin, Lucas Martinelli Tabajara, Moshe Y. Vardi
Dynamic Programming for Symbolic Boolean Realizability and Synthesis. CAV (3) (2024)
Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi
Model-Guided Synthesis for LTL over Finite Traces. VMCAI (1) (2024)
Yong Li, Sven Schewe, Moshe Y. Vardi
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. Theor. Comput. Sci. 1006 (2024)
Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier
The MoXI Model Exchange Tool Suite. CAV (1) (2024)
Moshe Y. Vardi
How to Be An Ethical Technologist. ECBS (2023)
Yong Li, Sven Schewe, Moshe Y. Vardi
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CONCUR (2023)
Moshe Y. Vardi
Revisiting ACM's Open-Conference Principle. Commun. ACM 66 (7) (2023)
Khen Elimelech, Lydia E. Kavraki, Moshe Y. Vardi
Extracting generalizable skills from a single plan execution using abstraction-critical state detection. ICRA (2023)
Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi
Multi-Agent Systems with Quantitative Satisficing Goals. CoRR (2023)
Moshe Y. Vardi
To Regulate Tech, Nullify Click-Through Contracts. Commun. ACM 66 (9) (2023)
Moshe Y. Vardi
What Came First, Math or Computing? Commun. ACM 66 (11) (2023)
Moshe Y. Vardi
How Not to Win a Tech War. Commun. ACM 66 (1) (2023)
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
On the power of finite ambiguity in Büchi complementation. Inf. Comput. 292 (2023)
Moshe Y. Vardi, Zhiwei Zhang
Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints. CoRR (2023)
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells
Model Checking Strategies from Synthesis over Finite Traces. ATVA (1) (2023)
Moshe Y. Vardi, Zhiwei Zhang
Solving Quantum-Inspired Perfect Matching Problems via Tutte-Theorem-Based Hybrid Boolean Constraints. IJCAI (2023)
Moshe Y. Vardi
Logical Algorithmics: From Theory to Practice (Invited Talk). STACS (2023)
Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi
Multi-Agent Systems with Quantitative Satisficing Goals. IJCAI (2023)
Kristin Y. Rozier, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. FMCAD (2023)
Moshe Y. Vardi
Who Is Responsible Around Here? Commun. ACM 66 (3) (2023)
Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew M. Wells
On Strategies in Synthesis Over Finite Traces. CoRR (2023)
Moshe Y. Vardi
ACM for the Public Good. Commun. ACM 66 (5) (2023)
Yong Li, Sven Schewe, Moshe Y. Vardi
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CoRR (2023)
Moshe Y. Vardi
Accountability and liability in computing. Commun. ACM 65 (11) (2022)
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving. CoRR (2022)
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
Comparator automata in quantitative verification. Log. Methods Comput. Sci. 18 (3) (2022)
Senthil Rajasekaran, Moshe Y. Vardi
Verification and Realizability in Finite-Horizon Multiagent Systems. KR (2022)
Khen Elimelech, Lydia E. Kavraki, Moshe Y. Vardi
Efficient Task Planning Using Abstract Skills and Dynamic Road Map Matching. ISRR (2022)
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang
Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition. CoRR (2022)
Vu H. N. Phan, Moshe Y. Vardi
DPER: Dynamic Programming for Exist-Random Stochastic SAT. CoRR (2022)
Moshe Y. Vardi, Zhiwei Zhang
Quantum-Inspired Perfect Matching under Vertex-Color Constraints. CoRR (2022)
Khen Elimelech, Lydia E. Kavraki, Moshe Y. Vardi
Automatic Cross-domain Task Plan Transfer by Caching Abstract Skills. WAFR (2022)
Vu H. N. Phan, Moshe Y. Vardi
DPO: Dynamic-Programming Optimization on Hybrid Constraints. CoRR (2022)
Moshe Y. Vardi
Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk). TIME (2022)
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
Functional synthesis via input-output separation. Formal Methods Syst. Des. 60 (2) (2022)
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
Sequential Relational Decomposition. Log. Methods Comput. Sci. 18 (1) (2022)
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Public and Private Affairs in Strategic Reasoning. KR (2022)
Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells
Synthesis from Satisficing and Temporal Goals. CoRR (2022)
Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi
DPSampler: Exact Weighted Sampling Using Dynamic Programming. IJCAI (2022)
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu
Compositional Safety LTL Synthesis. VSTTE (2022)
Moshe Y. Vardi
War and tech (and ACM). Commun. ACM 65 (5) (2022)
Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi
ZDD Boolean Synthesis. TACAS (1) (2022)
Moshe Y. Vardi
Program Verification: A 70+-Year History. ICSOFT (2022)
Senthil Rajasekaran, Moshe Y. Vardi
Verification and Realizability in Finite-Horizon Multiagent Systems. CoRR (2022)
Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi
Constraint-Driven Explanations for Black-Box ML Models. AAAI (2022)
Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI (2022)
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods Syst. Des. 61 (2) (2022)
Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells
Synthesis from Satisficing and Temporal Goals. AAAI (2022)
Moshe Y. Vardi
An association of the members, by the members, for the members. Commun. ACM 65 (7) (2022)
Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier
Satisfiability checking for Mission-time LTL (MLTL). Inf. Comput. 289 (Part) (2022)
Moshe Y. Vardi
ACM, ethics, and corporate behavior. Commun. ACM 65 (3) (2022)
Moshe Y. Vardi
Technology and democracy. Commun. ACM 65 (9) (2022)
Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay
Towards a Grand Unification of Büchi Complementation Constructions. Principles of Systems Design (2022)
Moshe Y. Vardi
Will AI destroy education? Commun. ACM 65 (1) (2022)
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. CAV (2) (2022)
Yih-Kuen Tsay, Moshe Y. Vardi
From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle. Model Checking, Synthesis, and Learning (2021)
Moshe Y. Vardi
Program Verification: a 70+- Year History. TASE (2021)
Moshe Y. Vardi
The people vs. tech. Commun. ACM 64 (3) (2021)
Moshe Y. Vardi
The agency trilemma and ACM. Commun. ACM 64 (5) (2021)
Moshe Y. Vardi
Program verification: vision and reality. Commun. ACM 64 (7) (2021)
Andrew M. Wells, Zachary K. Kingston, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
Finite-Horizon Synthesis for Probabilistic Manipulation Domains. ICRA (2021)
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
ProCount: Weighted Projected Model Counting with Graded Project-Join Trees. SAT (2021)
Kevin W. Smith, Moshe Y. Vardi
Automata Linear Dynamic Logic on Finite Traces. CoRR (2021)
Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi
On the Power of Automata Minimization in Temporal Synthesis. GandALF (2021)
Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions. Artif. Intell. 299 (2021)
Rodrigo Ferreira, Moshe Y. Vardi
Deep Tech Ethics: An Approach to Teaching Social Justice in Computer Science. SIGCSE (2021)
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. IJCAI (2021)
Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
Congruence Relations for Büchi Automata. FM (2021)
Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi
On-the-fly Synthesis for LTL over Finite Traces. AAAI (2021)
Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss
Adapting Behaviors via Reactive Synthesis. CoRR (2021)
Moshe Y. Vardi
The paradox of choice in computing-research conferences. Commun. ACM 64 (11) (2021)
Senthil Rajasekaran, Moshe Y. Vardi
Nash Equilibria in Finite-Horizon Multiagent Concurrent Games. AAMAS (2021)
Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss
Adapting Behaviors via Reactive Synthesis. CAV (1) (2021)
Ronald Fagin, Georg Gottlob, Christos H. Papadimitriou, Moshe Y. Vardi, Giorgio Ausiello, Maurizio Lenzerini, Domenico Saccà, Luigi Palopoli, Francesco Scarcello
Panel on "Past and Future of Computer Science Theory" (Discussion Paper). SEBD (2021)
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
On the Power of Finite Ambiguity in Büchi Complementation. CoRR (2021)
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang
On Continuous Local BDD-Based Search for Hybrid SAT Solving. AAAI (2021)
Moshe Y. Vardi
The sand-heap paradox of privacy and influence. Commun. ACM 64 (9) (2021)
Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
Synthesizing Good-Enough Strategies for LTLf Specifications. IJCAI (2021)
Lucas M. Tabajara, Moshe Y. Vardi
Linear Temporal Logic - From Infinite to Finite Horizon. ATVA (2021)
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
On Satisficing in Quantitative Games. CoRR (2021)
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
On Satisficing in Quantitative Games. TACAS (1) (2021)
Moshe Y. Vardi
Reboot the computing-research publication systems. Commun. ACM 64 (1) (2021)
Senthil Rajasekaran, Moshe Y. Vardi
Nash Equilibria in Finite-Horizon Multiagent Concurrent Games. CoRR (2021)
Yong Li, Yih-Kuen Tsay, Moshe Y. Vardi
Congruence Relations for Büchi Automata. CoRR (2021)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy Logic with Imperfect Information. ACM Trans. Comput. Log. 22 (1) (2021)
Moshe Y. Vardi
perish. Commun. ACM 63 (1) (2020)
Moshe Y. Vardi
Efficiency vs. resilience: what COVID-19 teaches computing. Commun. ACM 63 (5) (2020)
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang
On Continuous Local BDD-Based Search for Hybrid SAT Solving. CoRR (2020)
Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi
Computer-Aided Personalized Education. CoRR (2020)

Moshe Y. Vardi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Moshe Y. Vardi