Formal Methods

STL Metrics

A metric to compute the distance between two bounded Signal Temporal Logic formulas