Temporal Logic can be used to express patterns in data streams. We examine variants of temporal logic where the patterns themselves depend on the data present within the stream.
Google Analytics is used on the website to understand how it is used. Accept cookies?