Pages that link to "Item:Q2481560"
From MaRDI portal
The following pages link to Model checking abilities of agents: a closer look (Q2481560):
Displayed 9 items.
- Where logic and agents meet (Q657584) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Natural strategic ability (Q2289013) (← links)
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← 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)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)