Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.
Yixuan WangChao HuangZhaoran WangZhilu WangQi ZhuPublished in: CoRR (2021)
Keyphrases
- learning process
- online learning
- learning algorithm
- reinforcement learning
- real time
- sensory motor
- adaptive control
- learning scenarios
- learning systems
- knowledge acquisition
- expert systems
- multi agent
- search engine
- artificial intelligence
- unsupervised learning
- information retrieval
- model checking
- learning problems
- neural network
- data sets
- learning mechanism
- database
- control rules