The following pages link to (Q5151003):
Displaying 6 items.
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications (Q1420807) (← links)
- Exponential improvement of time complexity of model checking for multiagent systems with perfect recall (Q1938921) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- Alternating-time logic with imperfect recall (Q2844043) (← links)
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
- Constructive knowledge: what agents can achieve under imperfect information (Q3647280) (← links)
