TY  - RPRT
TI  - Model Checking Linear Temporal Logic with Standpoint Modalities
AU  - Rajab Aghamov
AU  - Christel Baier
AU  - Toghrul Karimov
AU  - Rupak Majumdar
AU  - Joël Ouaknine
AU  - Jakob Piribauer
AU  - Timm Spork
PY  - 2025
UR  - https://arxiv.org/abs/2502.20193
ID  - 2502.20193
ER  -