GitHub repository: vincekurtz/stlpy
Primary language: Python
Description: A python library for control from Signal Temporal Logic (STL) specifications