conftrace_

probabilistic multiagent system

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model checking (2) probabilistic epistemic logic (1) memoryless scheduler (1) multi-agent system (1) causal responsibility (1) probabilistic alternating-time temporal logic (1) parametric model checking (1) responsibility-aware reasoning (1) smt solver (1) strategic reasoning (1)

Papers

Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems AAAI 2025 Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems IJCAI 2018