Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*).

Bassem Ghorbel Vinayak S. Prabhu Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*). 2024 abs/2408.02460 CoRR https://doi.org/10.48550/arXiv.2408.02460 db/journals/corr/corr2408.html#abs-2408-02460 streams/journals/corr