Real-Time Risk-Bounded Tube-Based Trajectory Safety Verification.
Ashkan JasourWeiqiao HanBrian Charles WilliamsPublished in: CoRR (2021)
Keyphrases
- real time
- decision making
- low cost
- trajectory data
- formal verification
- control system
- vision system
- risk management
- safety critical
- real time systems
- trajectories of moving objects
- minimum risk
- safety analysis
- risk measures
- intelligent vehicles
- risk factors
- model checking
- spatio temporal
- computer vision
- learning algorithm
- neural network