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 |
Be the first to leave a comment!
