A Decision Diagram Operation for Reachability.

Sebastiaan Brand Thomas Bäck Alfons Laarman

Published in: FM (2023)

Keyphrases

decision diagrams
multi valued decision diagrams
efficient computation
data sets
state space
markov decision processes
machine learning
query processing
image reconstruction
normal form
compressed data