conftrace_

alternating-time temporal logic

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model checking (5) multi-agent system (3) concurrent game structure (2) temporal logic (2) abstraction method (1) strategic property (1) strategic abilities (1) parameter extraction (1) strategic ability (1) resource-bounded reasoning (1)

Papers

Rational Revision of Group Intentions AAAI 2026 On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing AAAI 2024 A Modal Logic for Joint Abilities under Strategy Commitments IJCAI 2020 Parameterised Resource-Bounded ATL AAAI 2020 An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019 Alternating-time Temporal Logic on Finite Traces IJCAI 2018