FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Formal Aspects of Strategic Reasoning in MAS

Author: Aniello Murano

Paper Information

Title:Formal Aspects of Strategic Reasoning in MAS
Authors:Aniello Murano
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Strategic reasoning, Model checking, Module checking, Multi-agent systems, Reactive systems, Temporal logics, Logics for the strategic reasoning, Strategy Logic
Pages:1
Talk:Jul 31 11:00 (Session 10L)
Paper: