Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes.

Saved in:

Bibliographic Details
Title:	Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes.
Authors:	Tillet, Joris¹ joris.tillet@ensta.fr, Besset, Antoine¹ antoine.besset@ensta.fr, Sandretto, Julien Alexandre dit¹ alexandre@ensta.fr
Source:	Acta Cybernetica. 2026, Vol. 27 Issue 3, p383-403. 21p.
Database:	Mathematics Source

Description
ISSN:	0324721X
DOI:	10.14232/actacyb.315054