GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning

Authors Mark Chevallier , Filip Smola , Richard Schmoetten , Jacques D. Fleuriot 

Part of: Volume: 32nd International Symposium on Temporal Representation and Reasoning (TIME 2025)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Symposium on Temporal Representation and Reasoning (TIME)