On the counting of strategies by Malvone, V, Mogavero, F, Murano, A, Sorrentino, L

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

Hierarchical cost-parity games by Bozzelli, L, Murano, A, Perelli, G, Sorrentino, L

Nash equilibria in concurrent games with lexicographic preferences by Gutierrez, J, Murano, A, Perelli, G, Rubin, S, Wooldridge, M

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

Probabilistic strategy logic by Aminof, B, Kwiatkowska, M, Maubert, B, Murano, A, Rubin, S

Cycle detection in computation tree logic by Fontaine, G, Mogavero, F, Murano, A, Perelli, G, Sorrentino, L

Cycle detection in computation tree logic by Fontaine, G, Mogavero, F, Murano, A, Perelli, G, Sorrentino, L