TY  - JOUR
AU  - Mambakam, Akshay
AU  - Requeno Jarabo, José Ignacio
AU  - Bakhirkin, Alexey
AU  - Basset, Nicolas
AU  - Dang, Thao
PY  - 2024
DO  - 10.1007/s10703-024-00453-2
UR  - https://hdl.handle.net/20.500.14352/103825
T2  - Formal Methods in System Design
AB  - This paper presents ParetoLib 2.0, a Python tool for offline monitoring and specification mining of cyber-physical systems. ParetoLib 2.0 uses Signal Temporal Logic (STL) as the formalism for specifying properties on time series. ParetoLib 2.0 builds...
LA  - eng
PB  - Springer
KW  - Signal Temporal Logic
KW  - Quantitative analysis
KW  - Specification mining
KW  - Parameter synthesis
KW  - Python
TI  - Mining of Extended Signal Temporal Logic Specifications with ParetoLib 2.0
TY  - journal article
ER  -