Melani, B., Bartocci, E., & Chiari, M. (2025). A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators. ACM Transactions on Embedded Computing Systems, 24(5s), 1–26. https://doi.org/10.1145/3759917