Pages that link to "Item:Q2481560"
From MaRDI portal
The following pages link to Model checking abilities of agents: a closer look (Q2481560):
Displayed 4 items.
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Easy Yet Hard: Model Checking Strategies of Agents (Q3393378) (← links)
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787) (← links)
- A Logic for Reasoning about Rational Agents (Q3602940) (← links)