Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce.

Domenico Bianculli, Carlo Ghezzi, Srdan Krstic

Browse the full SEFM paper archive.