FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Strategy Logic: Origin, Results, and Open Questions

Author: Fabio Mogavero

Paper Information

Title:Strategy Logic: Origin, Results, and Open Questions
Authors:Fabio Mogavero
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Strategy Logic, Finite Model Theory, Algorithmic Game Theory, Open Problems
Pages:1
Talk:Aug 01 10:10 (Session 29)
Paper: