Publications
Export 1 results:
Author Keyword [ Type
Filters: First Letter Of Keyword is D [Clear All Filters]
[273] "Certifying the LTL Formula p Until q in Hybrid Systems",
To appear in IEEE Transactions on Automatic Control, September, 2022.
273.pdf (290.84 KB)
