Vardi, Moshe Y.

47 publications

AAAI 2025 LTLf Synthesis Under Unreliable Input Christian Hagemeier, Giuseppe De Giacomo, Moshe Y. Vardi

IJCAI 2025 LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi

IJCAI 2024 The Trembling-Hand Problem for LTLf Planning Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi

IJCAI 2023 Multi-Agent Systems with Quantitative Satisficing Goals Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi

IJCAI 2023 Solving Quantum-Inspired Perfect Matching Problems via Tutte-Theorem-Based Hybrid Boolean Constraints Moshe Y. Vardi, Zhiwei Zhang

AAAI 2022 Constraint-Driven Explanations for Black-Box ML Models Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi

IJCAI 2022 DPSampler: Exact Weighted Sampling Using Dynamic Programming Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi

IJCAI 2022 LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu

AAAI 2022 Synthesis from Satisficing and Temporal Goals Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells

IJCAI 2021 Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu

AAAI 2021 On Continuous Local BDD-Based Search for Hybrid SAT Solving Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang

AAAI 2021 On-the-Fly Synthesis for LTL over Finite Traces Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi

IJCAI 2021 Synthesizing Good-Enough Strategies for LTLf Specifications Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang

AAAI 2020 ADDMC: Weighted Model Counting with Algebraic Decision Diagrams Jeffrey M. Dudek, Vu Phan, Moshe Y. Vardi

IJCAI 2020 Assume-Guarantee Synthesis for Prompt Linear Temporal Logic Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi

AAAI 2020 FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang

IJCAI 2020 Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi

AAAI 2020 Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi

AAAI 2020 LTLƒ Synthesis with Fairness and Stability Assumptions Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi

AAAI 2019 Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea) David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Y. Vardi, Gera Weiss

AAAI 2019 Learning to Solve NP-Complete Problems: A Graph Neural Network for Decision TSP Marcelo O. R. Prates, Pedro H. C. Avelar, Henrique Lemos, Luís C. Lamb, Moshe Y. Vardi

IJCAI 2019 Not All FPRASs Are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract) Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi

AAAI 2019 On the Hardness of Probabilistic Inference Relaxations Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

IJCAI 2019 Partitioning Techniques in LTLf Synthesis Lucas Martinelli Tabajara, Moshe Y. Vardi

AAAI 2019 SAT-Based Explicit LTLf Satisfiability Checking Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi

AAAI 2019 Unbounded Orchestrations of Transducers for Manufacturing Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi

AAAI 2018 Synthesis of Orchestrations of Transducers for Manufacturing Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan

AAAI 2017 Counting-Based Reliability Estimation for Power-Transmission Grids Leonardo Dueñas-Osorio, Kuldeep S. Meel, Roger Paredes, Moshe Y. Vardi

IJCAI 2017 Symbolic LTLf Synthesis Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi

IJCAI 2017 The Hard Problems Are Almost Everywhere for Random CNF-XOR Formulas Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi

IJCAI 2016 Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

AAAI 2016 Approximate Probabilistic Inference via Word-Level Counting Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi

IJCAI 2016 Combining the K-CNF and XOR Phase-Transitions Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi

IJCAI 2016 LTLf and LDLf Synthesis Under Partial Observability Giuseppe De Giacomo, Moshe Y. Vardi

IJCAI 2015 From Weighted to Unweighted Model Counting Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi

IJCAI 2015 Synthesis for LTL and LDL on Finite Traces Giuseppe De Giacomo, Moshe Y. Vardi

AAAI 2015 This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi

AAAI 2014 Distribution-Aware Sampling and Weighted Model Counting for SAT Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi

IJCAI 2013 Linear Temporal Logic and Linear Dynamic Logic on Finite Traces Giuseppe De Giacomo, Moshe Y. Vardi

JAIR 2011 The Complexity of Integer Bound Propagation Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi

AAAI 2010 Node Selection Query Languages for Trees Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi

JAIR 2007 The Planning Spectrum - One, Two, Three, Infinity Marco Pistore, Moshe Y. Vardi

IJCAI 2003 Automated Verification: Graphs, Logic, and Automata Moshe Y. Vardi

AAAI 2000 A Game-Theoretic Approach to Constraint Satisfaction Phokion G. Kolaitis, Moshe Y. Vardi

AAAI 1994 An Operational Semantics for Knowledge Bases Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

AAAI 1986 What Can Machines Know? on the Epistemic Properties of Machines Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi

IJCAI 1985 A Model-Theoretic Analysis of Monotonic Knowledge Moshe Y. Vardi