A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators. - Melani, Beatrice; Bartocci, Ezio; Chiari, Michele (ACM Transactions on Embedded Computing Systems, 2025)