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