@inproceedings{ZJMCB25,
  title={CTL Model Checking Partially Specified Systems},
  author={Zaman, Eshita and Johannsen, Christopher and Miner, Andrew S. and Ciardo, Gianfranco and Basu, Samik},
  booktitle={International Conference on Integrated Formal Methods (iFM)},
  year={2025},
}