NTHRYS › PhD Assistance › Autonomous Systems Self Driving Technology

Autonomous Systems Self Driving Technology

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Formal Verification of Autonomous Driving Systems

Developing mathematical frameworks and tools to formally prove safety properties and correctness of autonomous vehicle control algorithms.