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:TALK208729@talks.cam.ac.uk
CONTACT:Professor Alessandro Abate
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 thi
 s cross-disciplinary domain at OXCAV\, the Oxford Control and Verification
  group. \n\nI will\, in particular\, focus on control synthesis for comple
 x objectives\, and describe how techniques from formal verification (logic
 s and SAT\, automata theory\, abstractions) and from learning (sample-driv
 en approaches and neural architectures) can be together leveraged to attai
 n both sound and effective synthesis outcomes. \n\nMore broadly\, througho
 ut this contribution I will argue that\, on the one hand\, control theory 
 and formal methods can provide certificates to learning algorithms and\, o
 n the other hand\, that learning can bolster formal verification and strat
 egy synthesis objectives. \n\nThe seminar will be held in JDB Seminar Room
 \, Department of Engineering\, and online (zoom): \nhttps://newnham.zoom.u
 s/j/92544958528?pwd=YS9PcGRnbXBOcStBdStNb3E0SHN1UT09\n
LOCATION:James Dyson Building Seminar Room\, Department of Engineering
END:VEVENT
END:VCALENDAR