Statistics of Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce

Contact ORBilu