conftrace_

stochastic multi-agent system

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model checking (2) probabilistic strategy logic (1) information transparency (1) observability operator (1) probabilistic temporal logic (1) natural strategies (1) multi-agent system (1) strategy synthesis (1) stochastic game (1)

Papers

Probabilistic Strategy Logic with Degrees of Observability AAAI 2025 Natural Strategic Ability in Stochastic Multi-Agent Systems AAAI 2024