Autonomous Systems Self Driving Technology

Research Frontiers in Functional Safety Analysis via Formal Methods

Rigorous verification techniques to prove safety properties and detect potential failure modes in autonomous driving algorithms.

All Autonomous Systems & Self-Driving Technology PhD categories