Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes.
Saved in:
| Title: | Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes. |
|---|---|
| Authors: | Tillet, Joris1, joris.tillet@ensta.fr, Besset, Antoine1, antoine.besset@ensta.fr, Sandretto, Julien Alexandre dit1, alexandre@ensta.fr |
| Source: | Acta Cybernetica; 2026, Vol. 27 Issue 3, p383-403, 21p |
| Database: | Applied Science & Technology Source |
| ISSN: | 0324721X |
|---|---|
| DOI: | 10.14232/actacyb.315054 |
