A Decision Diagram Operation for Reachability.

Sebastiaan Brand Thomas Bäck Alfons Laarman

Published in: CoRR (2022)

Keyphrases

decision diagrams
state space
multi valued decision diagrams
multi valued
efficient computation