runtime-monitoring/explanator2

Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.

IsabelleLGPL-3.0