anand-bala / signal-temporal-logic Goto Github PK
View Code? Open in Web Editor NEWA library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
License: MIT License
A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
License: MIT License
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).
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.