Mechanical and Civil Engineering Seminar
*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.