1 citations · 2 across the 3 of their papers we have counts for
5 papers
Synthesis from Satisficing and Temporal Goals
Suguman Bansal, Lydia Kavraki, Moshe Y. Vardi +1
Reactive synthesis from high-level specifications that combine hard constraints expressed in Linear Temporal Logic LTL with soft constraints expressed by discounted-sum (DS) reward…
DPER: Dynamic Programming for Exist-Random Stochastic SAT
Vu H. N. Phan, Moshe Y. Vardi
In Bayesian inference, the maximum a posteriori (MAP) problem combines the most probable explanation (MPE) and marginalization (MAR) problems. The counterpart in propositional logi…
DPO: Dynamic-Programming Optimization on Hybrid Constraints
Vu H. N. Phan, Moshe Y. Vardi
In Bayesian inference, the most probable explanation (MPE) problem requests a variable instantiation with the highest probability given some evidence. Since a Bayesian network can…
Verification and Realizability in Finite-Horizon Multiagent Systems
Senthil Rajasekaran, Moshe Y. Vardi
The problems of \emph{verification} and \emph{realizability} are two central themes in the analysis of reactive systems. When multiagent systems are considered, these problems have…
Congruence Relations for Büchi Automata
Yong Li, Yih-Kuen Tsay, Andrea Turrini +2
We revisit here congruence relations for Büchi automata, which play a central role in the automata-based verification. The size of the classical congruence relation is in $3^{\math…