The following pages link to (Q2844043):
Displayed 27 items.
- Alternating-time stream logic for multi-agent systems (Q967523) (← links)
- Knowledge condition games (Q1006447) (← links)
- A logic of strategic ability under bounded memory (Q1006515) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Natural strategic ability (Q2289013) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints (Q2346410) (← links)
- Model checking abilities of agents: a closer look (Q2481560) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- (Q3384176) (← links)
- Easy Yet Hard: Model Checking Strategies of Agents (Q3393378) (← links)
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787) (← links)
- A Logic for Reasoning about Rational Agents (Q3602940) (← links)
- ATL with Strategy Contexts and Bounded Memory (Q3605522) (← links)
- ACTION TYPES IN STIT SEMANTICS (Q4600819) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- (Q5013877) (← links)
- (Q5079765) (← links)
- Completeness of a functional system for surjective functions (Q5108132) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Q6135762) (← links)
- DOING WITHOUT ACTION TYPES (Q6153157) (← links)