@misc{indiciae5bcd448065ff,
  title = {Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity},
  author = {Benedikt Bollig and Matthias Függer and Thomas Nowak and Paul Zeinaty},
  year = {2026},
  url = {https://arxiv.org/abs/2607.13981},
  note = {Source identifier: 2607.13981}
}