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: | Mathematics Source |
| ISSN: | 0324721X |
|---|---|
| DOI: | 10.14232/actacyb.315054 |
