Alessandro Abate
2PUBLICATIONS
6CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (2)
Sort by Publication Date:
|Mar 08, 2021
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration.Dario Cattaruzza, Alessandro Abate, Peter Schrammel
|Mar 20, 2020
Automated formal synthesis of provably safe digital controllers for continuous plants.Alessandro Abate, Iury Bessa, Lucas Cordeiro
Pageof 1
