TY  - RPRT
TI  - Practical Runtime Enforcement of First-Order Temporal Requirements
AU  - François Hublet
AU  - David Basin
AU  - Srđan Krstić
PY  - 2026
UR  - https://arxiv.org/abs/2610.04611
ID  - 2610.04611
ER  -