Abstract We introduce Spatial Regular Expressions (SpREs) as a novel querying language
for pattern matching over perception streams containing spatial and temporal data. To …

Online monitoring is an effective validation approach for hybrid systems, that, at runtime,
checks whether the (partial) signals of a system satisfy a specification in, eg, Signal …

Deep learning based approaches have been used to address several problems of a
sequential nature, whether using supervised learning to learn a model of a time-series …

Testing and verification is an essential procedure to assert a system adheres to some notion
of safety. To validate such assertions, monitoring has provided an effective solution to …