Keyword listing for 'Formal verification'

Head and shoulders image of Professor Alessandro Abate for Find an Expert

Professor Alessandro Abate

Professor of Verification and Control, Department of Computer Science

Artificial intelligence Machine learning Formal verification Control engineering Safety-critical systems Cyber-physical systems Autonomous Cars Automotive Energy systems Energy systems and networks AI