BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Sound Control Synthesis with Logics and Data  - Professor Alessand
 ro Abate\,  Department of Computer Science\, University of Oxford
DTSTART:20231201T140000Z
DTEND:20231201T150000Z
UID:TALK208834@talks.cam.ac.uk
CONTACT:Rachel Fogg
DESCRIPTION:Abstract: \nWe are witnessing an inter-disciplinary convergenc
 e between scientific areas underpinned by model-based reasoning and by dat
 a-driven learning. Original technical work across these areas is justified
  by numerous applications\, where access to information-rich data has to b
 e traded off with a demand for safety criticality: cyber-physical systems 
 are exemplar applications. \n\nIn this talk\, I will report on ongoing res
 earch in this cross-disciplinary domain at OXCAV\, the Oxford Control and 
 Verification group. \n\nI will\, in particular\, focus on control synthesi
 s for complex objectives\, and describe how techniques from formal verific
 ation (logics and SAT\, automata theory\, abstractions) and from learning 
 (sample-driven approaches and neural architectures) can be together levera
 ged to attain both sound and effective synthesis outcomes. \n\nMore broadl
 y\, throughout this contribution I will argue that\, on the one hand\, con
 trol theory and formal methods can provide certificates to learning algori
 thms and\, on the other hand\, that learning can bolster formal verificati
 on and strategy synthesis objectives. \n
LOCATION:Department of Engineering\, JDB Seminar Room\, and online (zoom):
   https://newnham.zoom.us/j/92544958528?pwd=YS9PcGRnbXBOcStBdStNb3E0SHN1UT
 09
END:VEVENT
END:VCALENDAR