conftrace_

parametric model checking

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

causal responsibility (1) probabilistic alternating-time temporal logic (1) responsibility-aware reasoning (1) probabilistic multiagent system (1) model checking (1) strategic reasoning (1) nash equilibrium (1)

Papers

Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems AAAI 2025