138 citations · 778 across the 69 of their papers we have counts for
77 papers
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata
Yong Li, Sven Schewe, Moshe Y. Vardi
We introduce a method for translating an alternating weak Büchi automaton (AWA), which corresponds to a Linear Dynamic Logic (LDL) formula, to an unambiguous Büchi automaton (UBA).…
Multi-Agent Systems with Quantitative Satisficing Goals
Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi
In the study of reactive systems, qualitative properties are usually easier to model and analyze than quantitative properties. This is especially true in systems where mutually ben…
Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints
Moshe Y. Vardi, Zhiwei Zhang
Determining the satisfiability of Boolean constraint-satisfaction problems with different types of constraints, that is hybrid constraints, is a well-studied problem with important…
Ising Model Partition Function Computation as a Weighted Counting Problem
Shaan A. Nagy, Roger Paredes, Jeffrey M. Dudek +2
While the Ising model remains essential to understand physical phenomena, its natural connection to combinatorial reasoning makes it also one of the best models to probe complex sy…
Quantum-Inspired Perfect Matching under Vertex-Color Constraints
Moshe Y. Vardi, Zhiwei Zhang
We propose and study the graph-theoretical problem EXISTS-PMVC: the existence of perfect matching under vertex-color constraints on graphs with bi-colored edges. EXISTS-PMVC is of…
Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition
Yong Li, Andrea Turrini, Weizhi Feng +2
The determinization of a nondeterministic Büchi automaton (NBA) is a fundamental construction of automata theory, with applications to probabilistic verification and reactive synth…