Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development

Ashfaq Farooqui

Ph.D Student

I am interested in the high level control of system of systems and everything attached.