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

Bassem Ghorbel, Vinayak S. Prabhu

Researchers have previously proposed augmenting Signal Temporal Logic (STL) with the value freezing operator in order to express engineering properties that cannot be expressed in…