A formally verified motion planner for autonomous vehicles (Q6109583)
From MaRDI portal
scientific article; zbMATH DE number 7719932
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A formally verified motion planner for autonomous vehicles |
scientific article; zbMATH DE number 7719932 |
Statements
A formally verified motion planner for autonomous vehicles (English)
0 references
28 July 2023
0 references
motion primitives
0 references
manoeuvre automata
0 references
motion planning
0 references
theorem proving
0 references
linear temporal logic
0 references
reachability analysis
0 references
autonomous vehicles
0 references
