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

Fix typos in evaluation examples

Browse source
This commit is contained in:
Dreossi 2019-12-09 15:59:04 -08:00
parent 5f2071a02c
commit 9b8fa167a8
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
README.md
View file

@ -159,7 +159,7 @@ There are two types of evaluation. One uses the boolean semantics of MTL and the
```python ```python
# Assumes piece wise constant interpolation. # Assumes piece wise constant interpolation.
data = { data = {
'a': [(0, True), (1, False), (3, False)] 'a': [(0, True), (1, False), (3, False)],
'b': [(0, False), (0.2, True), (4, False)] 'b': [(0, False), (0.2, True), (4, False)]
} }
@ -178,7 +178,7 @@ print(phi(data, time=3))
# output: False # output: False
# Compute sliding satisifaction. # Compute sliding satisifaction.
print(phi(data, time=None) print(phi(data, time=None))
# output: [(0, True), (0.2, True), (4, False)] # output: [(0, True), (0.2, True), (4, False)]
# Evaluate with discrete time # Evaluate with discrete time
@ -191,7 +191,7 @@ print(phi(data, dt=0.2))
```python ```python
# Assumes piece wise constant interpolation. # Assumes piece wise constant interpolation.
data = { data = {
'a': [(0, 100), (1, -1), (3, -2)] 'a': [(0, 100), (1, -1), (3, -2)],
'b': [(0, 20), (0.2, 2), (4, -10)] 'b': [(0, 20), (0.2, 2), (4, -10)]
} }