anand-bala / signal-temporal-logic Goto Github PK

Hi, thanks for working on this library :)

The last release (v0.1.3-post1) does not seem to have pre-built libraries in PyPI for the python versions >3.9 and also generating errors when trying to build locally.

I have updated the third party libraries and fixed the build here. Wondering if you can merge this to v0.1.3-post1 and update the packages in PyPI? (maybe with a tag v0.1.3-post2?)

Also wanted to ask if you are planning to further develop this library? (since it has been 2 years since the last update). If not, wondering if you are okay if I can publish a forked versions to PyPI if needed in the future? (e.g. updating packages/quick fixes etc.)

Thanks

Does the project support timed temporal operators, such as Eventually0, 3, where a = stl.Predicate("a") > 0 ?
Thanks!

I am unable to figure out how to write a statement with implication in python
eg: a --> b

Is there a python binding for implication? An example of how to write that statement in python would be helpful!

Thanks!

My specification is Always(dist & cgap). where dist is the predicate d > 10 and cgap is the predicate d<30. When I try to calculate robustness for the following trace, It fails to do so and gives a time appending error.

Trace: {'dist': (0.0, 20.0989990234375), (1.0, 20.06622314453125), (2.0, 20.0333251953125), (3.0, 20.02685546875), (4.0, 20.0), 'cgap': (0.0, 20.0989990234375), (1.0, 20.06622314453125), (2.0, 20.0333251953125), (3.0, 20.02685546875), (4.0, 20.0)}

error: ValueError: Trying to append a Sample timestamped at or before the Signal end_time,i.e., time is not strictly monotonically increasing.Current end_time is 4.0, given Sample is (4.0, 10.0).