BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Sound Control Synthesis with Logics and Data
DTSTART:20240301T110000
DTEND:20240301T120000
DTSTAMP:20260408T035034Z
UID:a3e0f4632102bbb2801fba787a66a8e1cf9684f9712475b5b2ecac0b
CATEGORIES:Conferences - Seminars
DESCRIPTION:Professor Alessandro Abate\, University of Oxford\, UK   htt
 p://www.cs.ox.ac.uk/people/alessandro.abate/\nAbstract:\nWe are witnessing
  an inter-disciplinary convergence between scientific areas underpinned by
  model-based reasoning and by data-driven learning. 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 re
 port on ongoing research in this cross-disciplinary domain at OXCAV\, the 
 Oxford Control and Verification group. \n\nI will\, in particular\, focus
  on control synthesis for complex objectives\, and describe how techniques
  from formal verification (logics and SAT\, automata theory\, abstractions
 ) and from learning (sample-driven approaches and neural architectures) ca
 n be together leveraged to attain both sound and effective synthesis outco
 mes. \n\nMore broadly\, throughout this contribution I will argue that\, 
 on the one hand\, control theory and formal methods can provide certificat
 es to learning algorithms and\, on the other hand\, that learning can bols
 ter formal verification and strategy synthesis objectives. \n\n\nBio:\nAl
 essandro Abate is Professor of Verification and Control in the Department 
 of Computer Science at the University of Oxford\, where he was also Deputy
  Head. Earlier\, he did research at Stanford University and at SRI Interna
 tional\, and was an Assistant Professor at the Delft Center for Systems an
 d Control\, TU Delft. He received a Laurea degree from the University of P
 adua and MS/PhD at UC Berkeley. His research work spans logics\, probabili
 ty\, control\, and AI.  
LOCATION:ME C2 405
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR