The Impact of Cheering on Sports Performance: Comparison of Serie A Statistics Before and During COVID-19

por Rovetta, Alessandro, Abate, Alessandro
Publicado 2021

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers

por Ahmed, Daniele, Peruffo, Andrea, Abate, Alessandro
Publicado 2020

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models

por Peruffo, Andrea, Ahmed, Daniele, Abate, Alessandro
Publicado 2021

Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration

por Cattaruzza, Dario, Abate, Alessandro, Schrammel, Peter, Kroening, Daniel
Publicado 2020

Automated formal synthesis of provably safe digital controllers for continuous plants

por Abate, Alessandro, Bessa, Iury, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth
Publicado 2019

Synthesising Programs with Non-trivial Constants

por Abate, Alessandro, Barbosa, Haniel, Barrett, Clark, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth, Reynolds, Andrew, Tinelli, Cesare
Publicado 2023