The following pages link to (Q5144683):
Displaying 18 items.
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Graded modalities in strategy logic (Q1641034) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Alternating-time temporal logics with linear past (Q1989330) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Time-aware uniformization of winning strategies (Q2106605) (← links)
- Multi-player games with LDL goals over finite traces (Q2225596) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- Natural strategic ability (Q2289013) (← links)
- Complexity of planning for connected agents in a partially known environment (Q2680862) (← links)
- Quantifying Bounds in Strategy Logic (Q5079747) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- Counterfactual and seeing-to-it responsibilities in strategic games (Q6076365) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Q6135762) (← links)
