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