A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
A Tool for Timed Patten Matching with Automata-Based Acceleration
Prototype tool for Hyper Pattern Matching with automata
