conftrace_

alternating-time mu calculus

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

strategic abilities (1) multi-agent system (1) model checking (1) temporal logic (1) stochastic game (1) strategic reasoning (1) formal methods (1) probabilistic logic (1) game theory (1) probabilistic modeling (1)

Papers

Probabilistic Alternating-Time µ-Calculus AAAI 2019