Synthesis with rational environments by Kupferman, O, Perelli, G, Vardi, M

2014 CAV award announcement by Kwiatkowska, M, Vardi, M, Bouajjani, A, Ball, T

MULTI-OBJECTIVE MODEL CHECKING OF MARKOV DECISION PROCESSES by Etessami, K, Kwiatkowska, M, Vardi, M, Yannakakis, M

Reactive synthesis for finite tasks under resource constraints by He, K, Lahijanian, M, Kavraki, L, Vardi, M

Reasoning about Strategies: on the Satisfiability Problem by Mogavero, F, Murano, A, Perelli, G, Vardi, M

Sequential relational decomposition by Fried, D, Legay, A, Ouaknine, J, Vardi, M

The trembling-hand problem for LTLf planning by Yu, P, Zhu, S, De Giacomo, G, Vardi, M

Solving parity games using an automata-based algorithm by Di Stasio, A, Murano, A, Perelli, G, Vardi, M

Panel on “Past and future of computer science theory” by Fagin, R, Gottlob, G, Papadimitriou, C, Vardi, M, Ausiello, G, Lenzerini, M, Palopoli, L, Saccà, D, Scarcello, F