*Result*: Verifying Safety of Safety-Critical Systems With Rare Events via Optimistic Optimization

Title:
Verifying Safety of Safety-Critical Systems With Rare Events via Optimistic Optimization
Authors:
Henning-Gunther, T., Grujic, D., Werner, T., Weber, L., Neurohr, B., Mohlmann, E.
Source:
IEEE Open Journal of Intelligent Transportation Systems IEEE Open J. Intell. Transp. Syst. Intelligent Transportation Systems, IEEE Open Journal of. 6:1569-1579 2025
Database:
IEEE Xplore Digital Library