I am a postdoc in the System Verification and Control and Verification groups. I am interested in formal methods in artificial intelligence and neuro-symbolic methods for formal verification of software and cyber-physical systems. Here is my personal webpage.
Verifying Reinforcement Learning up to Infinity
Edoardo Bacci‚ Mirco Giacobbe and David Parker
In IJCAI. 2021.
Learning Probabilistic Termination Proofs
Alessandro Abate‚ Mirco Giacobbe and Diptarko Roy
In CAV. Springer. 2021.