RTAMT is a Python library for real-time and offline monitoring of Signal Temporal Logic (STL) specifications. It supports both discrete-time and dense-time semantics, with optimized performance for online applications.
- Offline & Online STL Monitoring
- Discrete-Time & Dense-Time Support
- Optimized C++ Backend for Online Monitoring
- Python 2 and 3 Compatible