@misc{indiciae38a099f73b0e,
  title = {State Space Estimation for DPOR-based Model Checkers(Extended Version)},
  author = {A. R. Balasubramanian and Mohammad Hossein Khoshechin Jorshari and Rupak Majumdar and Umang Mathur and Minjian Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2512.23996},
  note = {Source identifier: 2512.23996}
}