TY  - RPRT
TI  - A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
AU  - Beatrice Melani
AU  - Ezio Bartocci
AU  - Michele Chiari
PY  - 2025
DO  - 10.1145/3759917
UR  - https://arxiv.org/abs/2507.21598
ID  - 2507.21598
ER  -