3 citations · 7 across the 6 of their papers we have counts for
1 paper · 2 filters
Rong Gu, Kaige Tan, Andreas Holck Høeg-Petersen +2
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 bri…