Skip to content
conftrace_

probabilistic epistemic logic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

probabilistic multiagent system (1) memoryless scheduler (1) multi-agent system (1) smt solver (1) model checking (1) mixed integer programming (1)

Papers

Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems IJCAI 2018