GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning

Mark Chevallier, Filip Smola, Richard Schmoetten +1

We present GradSTL, the first fully comprehensive implementation of signal temporal logic (STL) suitable for integration with neurosymbolic learning. In particular, GradSTL can suc…