Mechanical and Civil Engineering Seminar

Thursday October 22, 2020 11:00 AM

Certified learning, or learning for verification?

Speaker: Alessandro Abate, Department of Computer Science, University of Oxford
Location: Online Event

*Connection details for this online presentation will be posted when available

We are witnessing an inter-disciplinary convergence between areas underpinned by model-based reasoning and by data-driven learning and AI. Original work across these areas is strongly justified by scientific endeavours and industrial applications, where access to information-rich data has to be traded off with a demand for safety criticality: cyber-physical systems are exemplar applications. 

In this talk, I will report on ongoing initiatives in this cross-disciplinary domain. According to the dual perspective in the title of this talk, I will sketch, on the one hand, results where formal methods can provide certificates to learning algorithms, and on the other hand, results where learning can bolster formal verification and strategy synthesis objectives.

Series Mechanical and Civil Engineering Seminar Series

Contact: Mikaela Laite at (626) 395-4128