Abstract While self‐driving cars have already been widely investigated and achieved spectacular progress. a major obstacle in applications is the great difficulty in providing formal guarantees about their behaviors. Since the environment of the self‐driving is usually not known beforehand and highly uncertain. classical verification approaches cannot be applied to guarantee safety. https://www.alarecre.com/