STREL is a novel spatio-temporal logic that enable the specification of spatio-temporal requirements and to monitor them over the execution of mobile and spatially distributed CPS. This package provides a set of API and tools that can be used to monitor CPS following the STREL approach.
Strel has been included in MoonLight.