Moshe Y. Vardi
Person information
- affiliation: Rice University, Department of Computer Science
- award: ACM Presidential Award, 2017
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
- [j207]
- [j206]
- [j205]
- [j204]Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He:
An explicit transition system construction approach to LTL satisfiability checking. Formal Asp. Comput. 30(2): 193-217 (2018) - [j203]Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Mode-Target Games: Reactive Synthesis for Control Applications. IEEE Trans. Automat. Contr. 63(1): 196-202 (2018) - [c341]Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Comparator Automata in Quantitative Verification. FoSSaCS 2018: 420-437 - 2017
- [j202]
- [j201]
- [j200]
- [j199]
- [j198]
- [j197]
- [j196]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning about Strategies: on the Satisfiability Problem. Logical Methods in Computer Science 13(1) (2017) - [j195]Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Supervisory control and reactive synthesis: a comparative introduction. Discrete Event Dynamic Systems 27(2): 209-260 (2017) - [j194]Natarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi:
Alonzo Church Award 2017 - Call for Nominations. Bulletin of the EATCS 121 (2017) - [j193]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Preface to the Special Issue on SR 2014. Inf. Comput. 254: 141-142 (2017) - [j192]Juan L. Reutter, Miguel Romero, Moshe Y. Vardi:
Regular Queries on Graph Databases. Theory Comput. Syst. 61(1): 31-83 (2017) - [c340]Leonardo Dueñas-Osorio, Kuldeep S. Meel, Roger Paredes, Moshe Y. Vardi:
Counting-Based Reliability Estimation for Power-Transmission Grids. AAAI 2017: 4488-4494 - [c339]
- [c338]
- [c337]Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
On Hashing-Based Approaches to Approximate DNF-Counting. FSTTCS 2017: 41:1-41:14 - [c336]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
A Symbolic Approach to Safety ltl Synthesis. Haifa Verification Conference 2017: 147-162 - [c335]Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi:
Safety model checking with complementary approximations. ICCAD 2017: 95-100 - [c334]Corey Fisher, Seth Fogarty, Moshe Y. Vardi:
Random Models for Evaluating Efficient Büchi Universality Checking. ICLA 2017: 91-105 - [c333]Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. IJCAI 2017: 600-606 - [c332]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
Symbolic LTLf Synthesis. IJCAI 2017: 1362-1369 - [c331]Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Reactive synthesis for finite tasks under resource constraints. IROS 2017: 5326-5332 - [c330]Miguel Romero, Pablo Barceló, Moshe Y. Vardi:
The homomorphism problem for regular graph patterns. LICS 2017: 1-12 - [c329]Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy logic with imperfect information. LICS 2017: 1-12 - [c328]
- [i36]Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
Combining the k-CNF and XOR Phase-Transitions. CoRR abs/1702.08392 (2017) - [i35]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
Symbolic LTLf Synthesis. CoRR abs/1705.08426 (2017) - [i34]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
A Symbolic Approach to Safety LTL Synthesis. CoRR abs/1709.07495 (2017) - [i33]Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
On Hashing-Based Approaches to Approximate DNF-Counting. CoRR abs/1710.05247 (2017) - [i32]Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. CoRR abs/1710.06378 (2017) - 2016
- [j191]Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi:
Synthesis with rational environments. Ann. Math. Artif. Intell. 78(1): 3-20 (2016) - [j190]
- [j189]
- [j188]
- [j187]
- [j186]
- [j185]
- [j184]Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi:
On computing minimal independent support and its applications to sampling and counting. Constraints 21(1): 41-58 (2016) - [j183]Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi:
Viewpoints on "Logic activities in Europe", twenty years later. Bulletin of the EATCS 118 (2016) - [j182]
- [j181]Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball:
2014 CAV award announcement. Formal Methods in System Design 48(3): 149-151 (2016) - [j180]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Relentful strategic reasoning in alternating-time temporal logic. J. Log. Comput. 26(5): 1663-1695 (2016) - [j179]Pablo Barceló, Miguel Romero, Moshe Y. Vardi:
Semantic Acyclicity on Graph Databases. SIAM J. Comput. 45(4): 1339-1376 (2016) - [j178]Morteza Lahijanian, Matthew R. Maly, Dror Fried, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi:
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. IEEE Trans. Robotics 32(3): 583-599 (2016) - [c327]Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi:
Approximate Probabilistic Inference via Word-Level Counting. AAAI 2016: 3218-3224 - [c326]Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik:
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. AAAI Workshop: Beyond NP 2016 - [c325]Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
BDD-Based Boolean Functional Synthesis. CAV (2) 2016: 402-421 - [c324]Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
Combining the k-CNF and XOR Phase-Transitions. IJCAI 2016: 727-734 - [c323]Giuseppe De Giacomo, Moshe Y. Vardi:
LTLf and LDLf Synthesis under Partial Observability. IJCAI 2016: 1044-1050 - [c322]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. IJCAI 2016: 3569-3576 - [c321]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Regular Open APIs. KR 2016: 329-338 - [c320]
- [c319]Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Solving Parity Games Using an Automata-Based Algorithm. CIAA 2016: 64-76 - [e13]Blai Bonet, Sven Koenig, Benjamin Kuipers, Illah R. Nourbakhsh, Stuart J. Russell, Moshe Y. Vardi, Toby Walsh:
AI, Ethics, and Society, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Workshops WS-16-02, AAAI Press 2016 [contents] - [e12]Alessio Lomuscio, Moshe Y. Vardi:
Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. EPTCS 218, 2016 [contents] - [i31]Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi:
Approximate Reachability. CoRR abs/1611.04946 (2016) - 2015
- [j177]
- [j176]
- [j175]
- [j174]Moshe Y. Vardi:
Why doesn't ACM have a SIG for theoretical computer science? Commun. ACM 58(8): 5 (2015) - [j173]Moshe Y. Vardi:
What can be done about gender diversity in computing?: a lot! Commun. ACM 58(10): 5 (2015) - [j172]
- [j171]Moshe Y. Vardi, Mark Guzdial:
What do we do when the jobs are gone, and why we must embrace active learning. Commun. ACM 58(12): 10-11 (2015) - [j170]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Special issue on SR 2013. Inf. Comput. 242: 1 (2015) - [j169]Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke:
Profile trees for Büchi word automata, with application to determinization. Inf. Comput. 245: 136-151 (2015) - [j168]Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Theory in practice for system design and verification. SIGLOG News 2(1): 46-51 (2015) - [c318]Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi:
This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. AAAI 2015: 3664-3671 - [c317]
- [c316]Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
SAT-Based Explicit LTL Reasoning. Haifa Verification Conference 2015: 209-224 - [c315]Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi:
The Complexity of Synthesis from Probabilistic Components. ICALP (2) 2015: 108-120 - [c314]Juan L. Reutter, Miguel Romero, Moshe Y. Vardi:
Regular Queries on Graph Databases. ICDT 2015: 177-194 - [c313]Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Towards manipulation planning with temporal logic specifications. ICRA 2015: 346-352 - [c312]Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi:
From Weighted to Unweighted Model Counting. IJCAI 2015: 689-695 - [c311]Giuseppe De Giacomo, Moshe Y. Vardi:
Synthesis for LTL and LDL on Finite Traces. IJCAI 2015: 1558-1564 - [c310]Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi:
On Parallel Scalable Uniform SAT Witness Generation. TACAS 2015: 304-319 - [i30]Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi:
The Complexity of Synthesis from Probabilistic Components. CoRR abs/1502.04844 (2015) - [i29]Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Controller Synthesis for Mode-Target Games. CoRR abs/1504.07702 (2015) - [i28]Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
SAT-based Explicit LTL Reasoning. CoRR abs/1507.02519 (2015) - [i27]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. CoRR abs/1509.08979 (2015) - [i26]Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi:
Approximate Probabilistic Inference via Word-Level Counting. CoRR abs/1511.07663 (2015) - [i25]Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik:
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. CoRR abs/1512.06633 (2015) - 2014
- [j167]
- [j166]
- [j165]
- [j164]
- [j163]
- [j162]Sumit Nain, Yoad Lustig, Moshe Y. Vardi:
Synthesis from Probabilistic Components. Logical Methods in Computer Science 10(2) (2014) - [j161]Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay:
State of Büchi Complementation. Logical Methods in Computer Science 10(4) (2014) - [j160]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning About Strategies: On the Model-Checking Problem. ACM Trans. Comput. Log. 15(4): 34:1-34:47 (2014) - [c309]Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi:
Distribution-Aware Sampling and Weighted Model Counting for SAT. AAAI 2014: 1722-1730 - [c308]
- [c307]Yael Abarbanel, Eli Singerman, Moshe Y. Vardi:
Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions. DAC 2014: 2:1-2:4 - [c306]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Balancing Scalability and Uniformity in SAT Witness Generator. DAC 2014: 60:1-60:6 - [c305]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf Satisfiability Checking. ECAI 2014: 513-518 - [c304]Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi:
Synthesis with Rational Environments. EUMAS 2014: 219-235 - [c303]Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi:
The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. FoSSaCS 2014: 242-257 - [c302]Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
A sampling-based strategy planner for nondeterministic hybrid systems. ICRA 2014: 3005-3012 - [c301]Sonali Dutta, Moshe Y. Vardi:
Assertion-based flow monitoring of SystemC models. MEMOCODE 2014: 145-154 - [c300]Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang:
From visual to logical formalisms for SoC validation. MEMOCODE 2014: 165-174 - [c299]Pablo Barceló, Miguel Romero, Moshe Y. Vardi:
Does query evaluation tractability help query containment? PODS 2014: 188-199 - [c298]Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. WODES 2014: 222-227 - [e11]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014. EPTCS 146, 2014 [contents] - [i24]Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi:
The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies. CoRR abs/1401.3289 (2014) - [i23]Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi:
The Complexity of Integer Bound Propagation. CoRR abs/1401.3887 (2014) - [i22]Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Fast LTL Satisfiability Checking by SAT Solvers. CoRR abs/1401.5677 (2014) - [i21]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf satisfiability checking. CoRR abs/1403.1666 (2014) - [i20]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Balancing Scalability and Uniformity in SAT Witness Generator. CoRR abs/1403.6246 (2014) - [i19]Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi:
Distribution-Aware Sampling and Weighted Model Counting for SAT. CoRR abs/1404.2984 (2014) - [i18]Jakob Rehof, Moshe Y. Vardi:
Design and Synthesis from Components (Dagstuhl Seminar 14232). Dagstuhl Reports 4(6): 29-47 (2014) - 2013
- [j159]
- [j158]
- [j157]
- [j156]
- [j155]
- [j154]
- [j153]
- [j152]Seth Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi:
Unifying Büchi Complementation Constructions. Logical Methods in Computer Science 9(1) (2013) - [j151]Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi:
Pushdown module checking with imperfect information. Inf. Comput. 223: 1-17 (2013) - [j150]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
On simplification of schema mappings. J. Comput. Syst. Sci. 79(6): 816-834 (2013) - [j149]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Falsification of LTL safety properties in hybrid systems. STTT 15(4): 305-320 (2013) - [j148]
- [c297]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
A Scalable and Nearly Uniform Generator of SAT Witnesses. CAV 2013: 608-623 - [c296]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
A Scalable Approximate Model Counter. CP 2013: 200-216 - [c295]Sonali Dutta, Moshe Y. Vardi, Deian Tabakov:
CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models. DIFTS@FMCAD 2013 - [c294]Matthew R. Maly, Morteza Lahijanian, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi:
Iterative temporal motion planning for hybrid systems in partially unknown environments. HSCC 2013: 353-362 - [c293]Giuseppe De Giacomo, Moshe Y. Vardi:
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. IJCAI 2013: 854-860 - [c292]