Safe Reinforcement Learning for CPSs via Formal Modeling and Verification.
Chenchen YangJing LiuHaiying SunJunfeng SunXiang ChenLipeng ZhangPublished in: IJCNN (2021)
Keyphrases
- reinforcement learning
- formal methods
- state space
- artificial intelligence
- function approximation
- formal specification
- colored petri nets
- formal analysis
- learning algorithm
- model checking
- model free
- robotic control
- real time
- reinforcement learning algorithms
- modeling framework
- formal model
- expert systems
- case study
- web services
- genetic algorithm
- machine learning
- neural network