CauMon: A Tool for Online Monitoring against Signal Temporal Logic

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
DOI: 10.5281/zenodo.18815962
Cited by: 0

Abstract

CauMon, an informative and efficient online monitor against signal temporal logic (STL) specifications.

Fields of Study & Subjects

Formal Methods in Verification Logic Reasoning and Knowledge Advanced Control Systems Optimization

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
1 February 2026
Language
EN