Timed Trace Alignment with Metric Temporal Logic over Finite Traces.

Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli

Browse the full KR paper archive.