Case Study: Runtime Safety Verification of Neural Network Controlled System
Attributed to:
Cross-Layer Uncertainty-Aware Reinforcement Learning for Safe Autonomous Driving
funded by
ISPF
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-74234-7_13
Publication URI: http://dx.doi.org/10.1007/978-3-031-74234-7_13
Type: Book Chapter
Book Title: Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings (2025)
Page Reference: 205-217