From a0e76e762de6c035db995856205cf4dfe4fafd4d Mon Sep 17 00:00:00 2001 From: Andrea Burattin Date: Fri, 27 Jan 2023 09:25:48 +0100 Subject: [PATCH] Small typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 5d24691..4e2dd00 100644 --- a/README.md +++ b/README.md @@ -158,7 +158,7 @@ phi7 = mtl.parse('XX a') ## Quantitative Evaluate (Signal Temporal Logic) -Given a property `phi`, one can evaluate is a timeseries satisifies +Given a property `phi`, one can evaluate if a timeseries satisifies `phi`. Time Series can either be defined using a dictionary mapping atomic predicate names to lists of (`time`, `val`) pairs **or** using the [DiscreteSignals](https://github.com/mvcisback/DiscreteSignals)