teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Small typo

Browse source
This commit is contained in:
Andrea Burattin 2023-01-27 09:25:48 +01:00 • committed by GitHub
parent 7fc5645376
commit a0e76e762d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -158,7 +158,7 @@ phi7 = mtl.parse('XX a')
## Quantitative Evaluate (Signal Temporal Logic) ## 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 `phi`. Time Series can either be defined using a dictionary mapping
atomic predicate names to lists of (`time`, `val`) pairs **or** using atomic predicate names to lists of (`time`, `val`) pairs **or** using
the [DiscreteSignals](https://github.com/mvcisback/DiscreteSignals) the [DiscreteSignals](https://github.com/mvcisback/DiscreteSignals)