The following pages link to An Epistemic Strategy Logic (Q4617971):
Displaying 11 items.
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Knowledge condition games (Q1006447) (← links)
- Strategic knowledge of the past in quantum cryptography (Q1679773) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Data-informed knowledge and strategies (Q2152494) (← links)
- Knowledge-based strategies for multi-agent teams playing against nature (Q2152496) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- Action and knowledge in alternating-time temporal logic (Q2500827) (← links)
- Knowledge as strategic ability (Q2844048) (← links)
- On epistemic temporal strategic logic (Q2848071) (← links)
- (Q4994889) (← links)
