Skip to main content

News

2020-09-01
L2C
Learning to Control - Smart and Data-Driven Formal Methods for Cyber-Physical Systems control The engineered systems surrounding us are increasingly hard to control.