TY  - RPRT
TI  - Using Decision Diagrams to Compactly Represent the State Space for Explicit Model Checking
AU  - Hao Zheng
AU  - Andrew Price
AU  - Chris Myers
PY  - 2020
UR  - https://arxiv.org/abs/2004.14995
ID  - 2004.14995
ER  -