Search this site
Embedded Files
Skip to main content
Skip to navigation
SATISFIES
Home
Publications
CommonUppRoad
SATISFIES
Home
Publications
CommonUppRoad
More
Home
Publications
CommonUppRoad
CommonUppRoad
CommonRoad
+
UPPAAL
for AD motion planning
Check out our cool tool for AD motion planning. It combines CommonRoad and UPPAAL.Β ππ
CommonUppRoad
Abstract: Combining machine learning and formal methods (FMs) provides a possible solution to overcome the safety issue of autonomous-driving (AD) vehicles. However, there are gaps to be bridged before this combination becomes practically applicable and useful. In an attempt to facilitate
Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse