@misc{indiciae506ceeae779f,
  title = {MightyPPL : Towards model checking MTL},
  author = {Hsi-Ming Ho and Shankara Narayanan Krishna and Khushraj Madnani and Rupak Majumdar and Paritosh Pandya},
  year = {2026},
  url = {https://arxiv.org/abs/2609.19073},
  note = {Source identifier: 2609.19073}
}