conftrace_

symbolic implementation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

knowledge state (1) multi-agent system (1) symbolic verification (1) epistemic logic (1) model checking (1) temporal logic (1)

Papers

Model Checking Multi-Agent Systems against LDLK Specifications IJCAI 2017