TY  - RPRT
TI  - A Simple Obligation to Metric Interval Temporal Logic
AU  - Patricia Bouyer
AU  - B Srivathsan
AU  - Vaishnavi Vishwanath
PY  - 2026
UR  - https://arxiv.org/abs/2607.13598
ID  - 2607.13598
ER  -