TY  - RPRT
TI  - Synchronous Observers Revisited for Runtime Verification of Lustre Using STL
AU  - Logan Kenwright
AU  - Partha Roop
AU  - Sobhan Chatterjee
AU  - Nathan Allen
PY  - 2026
UR  - https://arxiv.org/abs/2608.12693
ID  - 2608.12693
ER  -