Privacy-Preserving Robust Monitoring of Dense-Time Temporal Logic

Charles Koll, Mike Rosulek, Houssam Abbas

Motivated by the use of third-party testing, this paper presents a privacy-preserving implementation of the robustness monitoring of Signal Temporal Logic (STL). STL is a specifica…