@misc{indiciae75fccae2941b, title = {On Syntactical Simplification of Temporal Operators in Negation-free MTL}, author = {Mathijs van Noort and Femke Ongenae and Pieter Bonte}, year = {2025}, url = {https://arxiv.org/abs/2509.10146}, note = {Source identifier: 2509.10146} }