Binding forms in first-order logic by Mogavero, F, Perelli, G

Behavioral QLTL by De Giacomo, G, Perelli, G

Synthesis of controllable nash equilibria in games with quantitative objectives by Almagor, S, Kupferman, O, Perelli, G

Imperfect information in reactive modules games by Gutierrez, J, Perelli, G, Wooldridge, M

Iterated games with LDL goals over finite traces by Gutierrez, J, Perelli, G, Wooldridge, M

Imperfect information in Reactive Modules games by Gutierrez, J, Perelli, G, Wooldridge, M

Multi-player games with LDL goals over finite traces by Gutierrez, J, Perelli, G, Wooldridge, M

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

Iterated games with LDL goals by Gutierrez, J, Perelli, G, Wooldridge, M

Expressiveness and Nash equilibrium in iterated Boolean games by Gutierrez, J, Harrenstein, P, Perelli, G, Wooldridge, M

Nash equilibrium and bisimulation invariance by Gutierrez, J, Harrenstein, P, Perelli, G, Wooldridge, M

EVE: A tool for temporal equilibrium analysis by Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M

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

Expressiveness and Nash equilibrium in iterated Boolean games by Gutierrez, J, Harrenstein, P, Perelli, G, Wooldridge, M

Nash equilibrium and bisimulation invariance by Gutierrez, J, Harrenstein, B, Perelli, G, Wooldridge, M

On the complexity of rational verification by Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games by Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M

Equilibrium design for concurrent games by Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M

On computational tractability for rational verification by Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M