On computing minimal independent support and its applications to sampling and counting von Ivrii, Alexander, Malik, Sharad, Meel, Kuldeep S., Vardi, Moshe Y.

Volltext

Supervisory control and reactive synthesis: a comparative introduction von Ehlers, Rüdiger, Lafortune, Stéphane, Tripakis, Stavros, Vardi, Moshe Y.

Volltext

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings von Vardi, Moshe, Voronkov, Andrei

Volltext

An automata-theoretic approach to branching-time model checking von KUPFERMAN, ORNA, VARDI, MOSHE Y, WOLPER, PIERRE

Volltext

Synthesis with rational environments von Kupferman, Orna, Perelli, Giuseppe, Vardi, Moshe Y.

Volltext

The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory von Feder, Tomás, Vardi, Moshe Y.

Volltext

The long game of tenure von Treangen, Todd J., Vardi, Moshe Y.

Volltext

SAT-based explicit LTLf satisfiability checking von Li, Jianwen, Pu, Geguang, Zhang, Yueling, Vardi, Moshe Y., Rozier, Kristin Y.

Volltext

Reasoning About Strategies: On the Model-Checking Problem von Mogavero, Fabio, Murano, Aniello, Perelli, Giuseppe, Vardi, Moshe Y.

Volltext

Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees von Lahijanian, Morteza, Maly, Matthew R., Fried, Dror, Kavraki, Lydia E., Kress-Gazit, Hadas, Vardi, Moshe Y.

Volltext

Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions von Kyrillidis, Anastasios, Shrivastava, Anshumali, Vardi, Moshe Y., Zhang, Zhiwei

Volltext

Complete axiomatizations for reasoning about knowledge and time von HALPERN, Joseph Y, VAN DER MEYDEN, Ron, VARDI, Moshe Y

Volltext

Regular Queries on Graph Databases von Reutter, Juan L., Romero, Miguel, Vardi, Moshe Y.

Volltext

Motion Planning With Dynamics by a Synergistic Combination of Layers of Planning von Plaku, Erion, Kavraki, Lydia E, Vardi, Moshe Y

Volltext

Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics von Dalmau, Víctor, Kolaitis, Phokion G., Vardi, Moshe Y.

Volltext

Synthesis from Probabilistic Components von Nain, Sumit, Lustig, Yoad, Vardi, Moshe Y

Volltext

Synthesis with Rational Environments von Kupferman, Orna, Perelli, Giuseppe, Vardi, Moshe Y.

Volltext

Towards a Grand Unification of Büchi Complementation Constructions von Vardi, Moshe Y., Fogarty, Seth, Li, Yong, Tsay, Yih-Kuen

Volltext

Functional synthesis via input–output separation von Chakraborty, Supratik, Fried, Dror, Tabajara, Lucas M., Vardi, Moshe Y.

Volltext

A Scalable and Nearly Uniform Generator of SAT Witnesses von Chakraborty, Supratik, Meel, Kuldeep S., Vardi, Moshe Y.

Volltext