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

Ashfaq Farooqui

Researcher

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