@misc{indiciae14df939b92f1,
  title = {Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models},
  author = {Jean Leneutre and Vadim Malvone and James Ortiz},
  year = {2024},
  url = {https://arxiv.org/abs/2411.00025},
  note = {Source identifier: 2411.00025}
}