TY  - RPRT
TI  - Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity
AU  - Benedikt Bollig
AU  - Matthias Függer
AU  - Thomas Nowak
AU  - Paul Zeinaty
PY  - 2026
UR  - https://arxiv.org/abs/2607.13981
ID  - 2607.13981
ER  -