Pages that link to "Item:Q2901208"
From MaRDI portal
The following pages link to An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208):
Displaying 7 items.
- Alternating-time temporal logics with linear past (Q1989330) (← links)
- Knowledge-based strategies for multi-agent teams playing against nature (Q2152496) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- (Q5079765) (← links)
- (Q5079770) (← links)
- Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection (Q6562536) (← links)
