Symbolic Causality Checking Using Bounded Model Checking.

Adrian Beer Stephan Heidinger Uwe Kühne Florian Leitner-Fischer Stefan Leue

Published in: SPIN (2015)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
symbolic representation
multi agent systems
causal reasoning
causal relations
binary decision diagrams
causal relationships
causal inference
cooperative
search algorithm
modal logic
symbolic description