Home » Authors » Charles Koll, Mike Rosulek, Houssam Abbas

Charles Koll, Mike Rosulek, Houssam Abbas

Public reference bibliography and cataloged PDF materials authored or published by Charles Koll, Mike Rosulek, Houssam Abbas.

Found 1 document(s) Page 1 of 1

Privacy-Preserving Robust Monitoring of Dense-Time Temporal Logic

Year: 2026 • Source: arxiv.org • Listed PDF

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 specification language for systems whose output t...