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