Ashfaq Farooqui
Ashfaq Farooqui
Home
Projects
Supervision
Publications
Talks
CV
Light
Dark
Automatic
Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development
Ashfaq Farooqui
Slides
Video
Date
Oct 16, 2020 1:40 PM — 1:58 PM
Event
Modeling in Automotive System and Software Engineering Workshop
Location
Online
Ashfaq Farooqui
Ph.D Student
I am interested in the high level control of system of systems and everything attached.
Related
Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development
An introduction to ROS, the Robot Operating System
Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems
Supervisory Control Theory; A classical AI approach to build reliable systems
Active Learning of Modular Plant Models
Cite
×