On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.
Patrick MusauNathaniel HamiltonDiego Manzanas LopezPreston RobinetteTaylor T. JohnsonPublished in: ICAA (2022)
Keyphrases
- machine learning
- real time
- control system
- low cost
- control loop
- vision system
- reinforcement learning
- data mining
- learning algorithm
- artificial intelligence
- natural language processing
- inductive learning
- inductive logic programming
- moving target
- model selection
- high speed
- information extraction
- safety critical
- computer vision
- data analysis
- supervised machine learning
- intelligent vehicles
- transitive closure
- explanation based learning
- air traffic
- semi supervised learning
- computational biology
- machine learning methods
- data acquisition
- feature selection
- computational intelligence
- mobile robot
- expert systems
- computer science
- pattern recognition