Model Checking Linear Temporal Logic with Standpoint Modalities

Rajab Aghamov; Christel Baier; Toghrul Karimov; Rupak Majumdar; Joël Ouaknine; Jakob Piribauer; Timm Spork

doi:10.24963/kr.2025/1

KR2025

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning

Melbourne, Australia. November 11-17, 2025.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-08-9

Model Checking Linear Temporal Logic with Standpoint Modalities

Rajab Aghamov(Technische Universität Dresden)
Christel Baier(Technische Universität Dresden)
Toghrul Karimov(Max Planck Institute for Software Systems)
Rupak Majumdar(Max Planck Institute for Software Systems)
Joël Ouaknine(Max Planck Institute for Software Systems)
Jakob Piribauer(Technische Universität Dresden)
Timm Spork(Technische Universität Dresden)

Bibtex record

@inproceedings{KR2025-1,
    title     = {{Model Checking Linear Temporal Logic with Standpoint Modalities}},
    author    = {Aghamov, Rajab and Baier, Christel and Karimov, Toghrul and Majumdar, Rupak and Ouaknine, Joël and Piribauer, Jakob and Spork, Timm},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {2--11},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/1},
    url       = {https://doi.org/10.24963/kr.2025/1},
  }

Go back