conftrace_

strategic abilities

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

multi-agent system (2) model checking (2) temporal logic (2) strategic reasoning (2) alternating-time mu calculus (1) alternating-time temporal logic (1) modal logic (1) stochastic game (1) formal methods (1) probabilistic logic (1)

Papers

A Modal Logic for Joint Abilities under Strategy Commitments IJCAI 2020 Probabilistic Alternating-Time µ-Calculus AAAI 2019