Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
2
Static Analysis by Abstract Interpretation Against Data Leakage in Machine Learning
On Using Certified Training towards Empirical Robustness
Abstract Interpretation as Automated Deduction
Inference of Ranking Functions for Proving Temporal Properties by Abstract Interpretation
×
Cite