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: |  |