A data-oriented runtime verification implementation of the algorithm described in Online monitoring of metric temporal logic using sequential networks.
The object-oriented implementation by @doganulus can be seen at reelay.
A data-oriented runtime verification implementation of the algorithm described in Online monitoring of metric temporal logic using sequential networks.
The object-oriented implementation by @doganulus can be seen at reelay.