Skip to content
conftrace_

information transparency

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

probabilistic strategy logic (1) stochastic multi-agent system (1) observability operator (1) multi-agent system (1) model checking (1) stochastic game (1)

Papers

Probabilistic Strategy Logic with Degrees of Observability AAAI 2025