A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators.
Saved in:
| Title: | A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators. |
|---|---|
| Authors: | Melani, Beatrice1, beatrice.melani@polimi.it, Bartocci, Ezio2, ezio.bartocci@tuwien.ac.at, Chiari, Michele2, michele.chiari@tuwien.ac.at |
| Source: | ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-26, 26p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15399087 |
|---|---|
| DOI: | 10.1145/3759917 |
