Alert button
Picture for Moshe Y. Vardi

Moshe Y. Vardi

Alert button

Rice University

On Strategies in Synthesis Over Finite Traces

May 20, 2023
Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew Wells

Figure 1 for On Strategies in Synthesis Over Finite Traces
Viaarxiv icon

Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints

Jan 24, 2023
Moshe Y. Vardi, Zhiwei Zhang

Figure 1 for Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints
Figure 2 for Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints
Figure 3 for Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints
Figure 4 for Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints
Viaarxiv icon

Synthesis from Satisficing and Temporal Goals

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

Figure 1 for Synthesis from Satisficing and Temporal Goals
Figure 2 for Synthesis from Satisficing and Temporal Goals
Figure 3 for Synthesis from Satisficing and Temporal Goals
Figure 4 for Synthesis from Satisficing and Temporal Goals
Viaarxiv icon

DPER: Dynamic Programming for Exist-Random Stochastic SAT

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

Figure 1 for DPER: Dynamic Programming for Exist-Random Stochastic SAT
Figure 2 for DPER: Dynamic Programming for Exist-Random Stochastic SAT
Figure 3 for DPER: Dynamic Programming for Exist-Random Stochastic SAT
Figure 4 for DPER: Dynamic Programming for Exist-Random Stochastic SAT
Viaarxiv icon

DPO: Dynamic-Programming Optimization on Hybrid Constraints

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

Figure 1 for DPO: Dynamic-Programming Optimization on Hybrid Constraints
Figure 2 for DPO: Dynamic-Programming Optimization on Hybrid Constraints
Figure 3 for DPO: Dynamic-Programming Optimization on Hybrid Constraints
Figure 4 for DPO: Dynamic-Programming Optimization on Hybrid Constraints
Viaarxiv icon

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

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

Figure 1 for DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving
Figure 2 for DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving
Figure 3 for DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving
Figure 4 for DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving
Viaarxiv icon

On Satisficing in Quantitative Games

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

Figure 1 for On Satisficing in Quantitative Games
Figure 2 for On Satisficing in Quantitative Games
Figure 3 for On Satisficing in Quantitative Games
Figure 4 for On Satisficing in Quantitative Games
Viaarxiv icon

On Continuous Local BDD-Based Search for Hybrid SAT Solving

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

Figure 1 for On Continuous Local BDD-Based Search for Hybrid SAT Solving
Figure 2 for On Continuous Local BDD-Based Search for Hybrid SAT Solving
Figure 3 for On Continuous Local BDD-Based Search for Hybrid SAT Solving
Figure 4 for On Continuous Local BDD-Based Search for Hybrid SAT Solving
Viaarxiv icon

LTLf Synthesis on Probabilistic Systems

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

Figure 1 for LTLf Synthesis on Probabilistic Systems
Figure 2 for LTLf Synthesis on Probabilistic Systems
Figure 3 for LTLf Synthesis on Probabilistic Systems
Figure 4 for LTLf Synthesis on Probabilistic Systems
Viaarxiv icon