FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
On the Extraordinary Effectiveness of Logic in Strategic Reasoning

Author: Giuseppe Perelli

Paper Information

Title:On the Extraordinary Effectiveness of Logic in Strategic Reasoning
Authors:Giuseppe Perelli
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Synthesis, Strategy Logic, Automated Reasoning, Rational Synthesis, Temporal Logic
Pages:1
Talk:Jul 31 11:35 (Session 11)
Paper: