conftrace_

strategic ability

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model checking (2) fixpoint approximation (1) strategy sharing (1) concurrent game structure (1) multi-agent system (1) epistemic logic (1) alternating-time temporal logic (1) modal logic (1) strategic reasoning (1) imperfect information (1)

Papers

Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models IJCAI 2025 On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing AAAI 2024 Prevailing in the Dark: Information Walls in Strategic Games AAAI 2022