BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems.
Jiaxu TianDapeng ZhiSi LiuPeixin WangGuy KatzMin ZhangPublished in: CoRR (2022)
Keyphrases
- black box
- learning systems
- reachability analysis
- markov decision processes
- model checking
- reinforcement learning
- learning process
- black boxes
- white box
- computer supported
- timed automata
- machine learning
- test cases
- learning resources
- state space
- integration testing
- learning materials
- hybrid systems
- incremental algorithms
- learning styles
- state transition
- learning environment
- databases
- white box testing
- adaptive systems
- dynamic programming
- artificial intelligence