Login / Signup
Alessandro Abate
ORCID
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Machine Learning
Cell Wall
Systematic Review
Top Venues
Acta informatica
Journal of automated reasoning
</>
This page only lists publications with an associated author ORCID identifier.
Publications
</>
Dario Cattaruzza
,
Alessandro Abate
,
Peter Schrammel
,
Daniel Kroening
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration.
Journal of automated reasoning
65 (2) (2020)
Alessandro Abate
,
Iury Bessa
,
Lucas Cordeiro
,
Cristina David
,
Pascal Kesseli
,
Daniel Kroening
,
Elizabeth Polgreen
Automated formal synthesis of provably safe digital controllers for continuous plants.
Acta informatica
57 (1) (2019)