Neural Proofs for Sound Verification and Control of Complex Systems

Alessandro Abate

This informal contribution presents an ongoing line of research that is pursuing a new approach to the construction of sound proofs for the formal verification and control of compl…