@misc{indiciaec28f6b873964,
  title = {A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators},
  author = {Beatrice Melani and Ezio Bartocci and Michele Chiari},
  year = {2025},
  doi = {10.1145/3759917},
  url = {https://arxiv.org/abs/2507.21598},
  note = {Source identifier: 2507.21598}
}