The following pages link to (Q5192925):
Displaying 8 items.
- Refining strategic ability in alternating-time temporal logic (Q528195) (← links)
- Where logic and agents meet (Q657584) (← links)
- Stochastic game logic (Q715046) (← links)
- Automatic verification of competitive stochastic systems (Q2248068) (← links)
- Natural strategic ability (Q2289013) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- Formal modelling and verification of probabilistic resource bounded agents (Q6190087) (← links)