Skip to content
conftrace_

observability operator

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

probabilistic strategy logic (1) stochastic multi-agent system (1) information transparency (1) multi-agent system (1) model checking (1) stochastic game (1)

Papers

Probabilistic Strategy Logic with Degrees of Observability AAAI 2025