Verifiable and Compositional Reinforcement Learning Systems.
Cyrus NearyChristos K. VerginisMurat CubuktepeUfuk TopcuPublished in: ICAPS (2022)
Keyphrases
- learning systems
- reinforcement learning
- sufficient conditions
- machine learning
- learning process
- computer supported
- learning styles
- learning environment
- learning materials
- learning resources
- statistical machine learning
- support systems
- machine learning systems
- learning outcomes
- learning experience
- learning algorithm
- secret sharing
- collective learning
- database