Professor Alessandro Abate (University of Oxford): Sound Control Synthesis with Logics and Data


2023-12-01 14:00: Sound Control Synthesis with Logics and Data  (Professor Alessandro Abate,  Department of Computer Science, University of Oxford)

2023-12-01 14:00: Sound Control Synthesis with Logics and Data (Professor Alessandro Abate,  Department of Computer Science, University of Oxford)