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 Alessandr
 o Abate\,  Department of Computer Science\, University of Oxford
DTSTART:20231201T140000Z
DTEND:20231201T150000Z
UID:TALK208795@talks.cam.ac.uk
CONTACT:Lina Zvaginyte-Bagociene (div-f)
DESCRIPTION:We are witnessing an inter-disciplinary convergence between sc
 ientific areas underpinned by model-based reasoning and by data-driven lea
 rning. Original technical work across these areas is justified by numerous
  applications\, where access to information-rich data has to be traded off
  with a demand for safety criticality: cyber-physical systems are exemplar
  applications. \n \nIn this talk\, I will report on ongoing research in th
 is cross-disciplinary domain at OXCAV\, the Oxford Control and Verificatio
 n group. \n \nI will\, in particular\, focus on control synthesis for comp
 lex objectives\, and describe how techniques from formal verification (log
 ics and SAT\, automata theory\, abstractions) and from learning (sample-dr
 iven approaches and neural architectures) can be together leveraged to att
 ain both sound and effective synthesis outcomes. \n \nMore broadly\, throu
 ghout this contribution I will argue that\, on the one hand\, control theo
 ry and formal methods can provide certificates to learning algorithms and\
 , on the other hand\, that learning can bolster formal verification and st
 rategy synthesis objectives. \n \n
LOCATION:James Dyson Building Seminar Room\, Department of Engineering and
  online (zoom):  https://newnham.zoom.us/j/92544958528?pwd=YS9PcGRnbXBOcSt
 BdStNb3E0SHN1UT09
END:VEVENT
END:VCALENDAR