1 paper
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…