Safe Reinforcement Learning Using Black-Box Reachability Analysis.
Mahmoud SelimAmr AlanwarShreyas KousikGrace Xingxin GaoMarco PavoneKarl Henrik JohanssonPublished in: IEEE Robotics Autom. Lett. (2022)
Keyphrases
- black box
- reachability analysis
- markov decision processes
- reinforcement learning
- state space
- optimal policy
- model checking
- black boxes
- reinforcement learning algorithms
- policy iteration
- white box
- timed automata
- function approximation
- test cases
- dynamic programming
- incremental algorithms
- partially observable
- action space
- temporal difference
- learning algorithm
- optimal control
- reward function
- integration testing
- markov decision process
- markov decision problems
- model free
- hybrid systems
- real time
- white box testing
- average cost
- linear programming
- object oriented
- relational databases
- machine learning