Learning Probabilistic Temporal Logic Specifications for Stochastic Systems

Roy et al. "Learning Probabilistic Temporal Logic Specifications for Stochastic Systems." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/517

[Roy et al. "Learning Probabilistic Temporal Logic Specifications for Stochastic Systems." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/roy2025ijcai-learning/) doi:10.24963/IJCAI.2025/517

@inproceedings{roy2025ijcai-learning,
  title     = {{Learning Probabilistic Temporal Logic Specifications for Stochastic Systems}},
  author    = {Roy, Rajarshi and Pote, Yash and Parker, Dave and Kwiatkowska, Marta},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {4642-4650},
  doi       = {10.24963/IJCAI.2025/517},
  url       = {https://mlanthology.org/ijcai/2025/roy2025ijcai-learning/}
}