Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Picture for Moshe Y. Vardi

Moshe Y. Vardi

Rice University

Synthesis from Satisficing and Temporal Goals


May 20, 2022
Suguman Bansal, Lydia Kavraki, Moshe Y. Vardi, Andrew Wells


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

DPER: Dynamic Programming for Exist-Random Stochastic SAT


May 19, 2022
Vu H. N. Phan, Moshe Y. Vardi

* arXiv admin note: substantial text overlap with arXiv:2205.08632 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

DPO: Dynamic-Programming Optimization on Hybrid Constraints


May 17, 2022
Vu H. N. Phan, Moshe Y. Vardi


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving


May 08, 2022
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On Satisficing in Quantitative Games


Jan 06, 2021
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi

* arXiv admin note: text overlap with arXiv:2010.02055 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On Continuous Local BDD-Based Search for Hybrid SAT Solving


Dec 14, 2020
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang

* AAAI 21 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

LTLf Synthesis on Probabilistic Systems


Sep 23, 2020
Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi

* EPTCS 326, 2020, pp. 166-181 
* In Proceedings GandALF 2020, arXiv:2009.09360 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees


Aug 20, 2020
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

* Full version of paper at CP 2020 (26th International Conference on Principles and Practice of Constraint Programming) 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On the Power of Unambiguity in Büchi Complementation


May 18, 2020
Yong Li, Moshe Y. Vardi, Lijun Zhang


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications


Dec 09, 2019
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi

* Accepted by AAAI 2020 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
>>