Reasoning About Strategies: On the Model-Checking Problem

29 December 2011

Papers citing "Reasoning About Strategies: On the Model-Checking Problem"

4 / 4 papers shown

Title
A minimal coalition logic Yinfeng Li Fengkui Ju LRM 26 0 0 17 Mar 2024
A Game of Pawns Guy Avni Pranav Ghorpade Shibashis Guha 35 3 0 06 May 2023
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey Chao Yu Xuejing Zheng H. Zhuo OffRL LRM 96 8 0 24 Apr 2023
The Complexity of Enriched Mu-Calculi P. Bonatti C. Lutz A. Murano Moshe Y. Vardi 83 69 0 02 Sep 2008