How many bits does it take to quantize your neural network? by Giacobbe, M, Henzinger, TA, Lechner, M

Learning probabilistic termination proofs by Abate, A, Giacobbe, M, Roy, D

Bisimulation learning by Abate, A, Giacobbe, M, Schnitzer, Y

Verifying reinforcement learning up to infinity by Bacci, E, Giacobbe, M, Parker, D

Formal synthesis of Lyapunov neural networks by Abate, A, Ahmed, D, Giacobbe, M, Peruffo, A

ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics by Frehse, G, Abate, A, Adzkiya, D, Becchi, A, Bu, L, Cimatti, A, Giacobbe, M, Griggio, A, Mover, S, Syifa'ul Mufid, M, Riouak, I, Tonetta, S, Zaffanella, E