ReSpeC (respec) is a Python framework for composing reactive Linear Temporal Logic (LTL) specifications for …
https://github.com/VerifiableRobotics/ReSpeC
(8ed5c2941557ac5430c9b0bc8cdad68c33bad38c)