Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics.
David BoetiusStefan LeuePublished in: CoRR (2024)
Keyphrases
- learning systems
- reinforcement learning
- learning resources
- computer supported
- learning process
- model checking
- learning materials
- learning environment
- machine learning
- learning styles
- adaptive systems
- support systems
- formal verification
- machine learning systems
- technology enhanced learning systems
- model selection
- learning strategies
- human learning