Safety Analysis of Autonomous Driving Systems Based on Model Learning