Mirco Giacobbe

Interests

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.

Selected Publications

View AllManage publications

• Verifying Reinforcement Learning up to Infinity

  Edoardo Bacci‚ Mirco Giacobbe and David Parker

  In IJCAI. 2021.

  Details about Verifying Reinforcement Learning up to Infinity | BibTeX data for Verifying Reinforcement Learning up to Infinity

• Learning Probabilistic Termination Proofs

  Alessandro Abate‚ Mirco Giacobbe and Diptarko Roy

  In CAV. Springer. 2021.

  Details about Learning Probabilistic Termination Proofs | BibTeX data for Learning Probabilistic Termination Proofs | Download  (pdf) of Learning Probabilistic Termination Proofs

Supervisor