@misc{indiciae62cf60d93159,
  title = {Model Checking Linear Temporal Logic with Standpoint Modalities},
  author = {Rajab Aghamov and Christel Baier and Toghrul Karimov and Rupak Majumdar and Joël Ouaknine and Jakob Piribauer and Timm Spork},
  year = {2025},
  url = {https://arxiv.org/abs/2502.20193},
  note = {Source identifier: 2502.20193}
}