3 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
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…