Equilibria for games with combined qualitative and quantitative objectives von Gutierrez, Julian, Murano, Aniello, Perelli, Giuseppe, Rubin, Sasha, Steeples, Thomas, Wooldridge, Michael

Volltext

Rational verification: game-theoretic verification of multi-agent systems von Abate, Alessandro, Gutierrez, Julian, Hammond, Lewis, Harrenstein, Paul, Kwiatkowska, Marta, Najib, Muhammad, Perelli, Giuseppe, Steeples, Thomas, Wooldridge, Michael

Volltext

Reasoning about Strategies: on the Satisfiability Problem von Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

Volltext

Nash Equilibrium and Bisimulation Invariance von Gutierrez, Julian, Harrenstein, Paul, Perelli, Giuseppe, Wooldridge, Michael

Volltext

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games von Gutierrez, Julian, Najib, Muhammad, Perelli, Giuseppe, Wooldridge, Michael

Volltext

Imperfect information in Reactive Modules games von Gutierrez, Julian, Perelli, Giuseppe, Wooldridge, Michael

Volltext

Cycle Detection in Computation Tree Logic von Fontaine, Gaëlle, Mogavero, Fabio, Murano, Aniello, Perelli, Giuseppe, Sorrentino, Loredana

Volltext

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

Volltext

Multi-player games with LDL goals over finite traces von Gutierrez, Julian, Perelli, Giuseppe, Wooldridge, Michael

Volltext

On the complexity of rational verification von Gutierrez, Julian, Najib, Muhammad, Perelli, Giuseppe, Wooldridge, Michael

Volltext

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

Volltext

Hierarchical cost-parity games von Bozzelli, Laura, Murano, Aniello, Perelli, Giuseppe, Sorrentino, Loredana

Volltext

Checking interval properties of computations von Molinari, Alberto, Montanari, Angelo, Murano, Aniello, Perelli, Giuseppe, Peron, Adriano

Volltext

Reasoning about Quality and Fuzziness of Strategic Behaviors von Bouyer, Patricia, Kupferman, Orna, Markey, Nicolas, Maubert, Bastien, Murano, Aniello, Perelli, Giuseppe

Volltext

Behavioral QLTL von De Giacomo, Giuseppe, Perelli, Giuseppe

Volltext

Expressiveness and Nash Equilibrium in Iterated Boolean Games von Gutierrez, Julian, Harrenstein, Paul, Perelli, Giuseppe, Wooldridge, Michael

Volltext

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

Volltext

Cycle detection in computation tree logic von Fontaine, Gaëlle, Mogavero, Fabio, Murano, Aniello, Perelli, Giuseppe, Sorrentino, Loredana

Volltext

Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version) von Najib, Muhammad, Perelli, Giuseppe

Volltext bestellen

Proceedings of the 4th International Workshop on Strategic Reasoning: Imperfect Information in Reactive Modules Games (Abstract) von Gutierrez, Julian, Perelli, Giuseppe, Wooldridge, Michael

Volltext