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

docs: Small typo in the readme

Browse source 
Merge pull request #227 from delas/patch-1
This commit is contained in:
Marcell Vazquez-Chanlatte 2023-01-27 21:35:26 -08:00 • committed by GitHub
commit 50c265c7ec
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)
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)