@misc{balasubramanian2026statespaceestimationdporbased,
      title={State Space Estimation for DPOR-based Model Checkers}, 
      author={A. R. Balasubramanian and Mohammad Hossein Khoshechin Jorshari and Rupak Majumdar and Umang Mathur and Minjian Zhang},
      year={2025},
      eprint={2512.23996},
      archivePrefix={arXiv},
      primaryClass={cs.PL},
      url={https://arxiv.org/abs/2512.23996}, 
}