@misc{indiciaea1e461840224, title = {GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning}, author = {Mark Chevallier and Filip Smola and Richard Schmoetten and Jacques D. Fleuriot}, year = {2025}, url = {https://arxiv.org/abs/2508.04438}, note = {Source identifier: 2508.04438} }