TY  - RPRT
TI  - State Space Estimation for DPOR-based Model Checkers(Extended Version)
AU  - A. R. Balasubramanian
AU  - Mohammad Hossein Khoshechin Jorshari
AU  - Rupak Majumdar
AU  - Umang Mathur
AU  - Minjian Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2512.23996
ID  - 2512.23996
ER  -