Safe Reinforcement Learning for CPSs via Formal Modeling and Verification

Author(s):  
Chenchen Yang ◽  
Jing Liu ◽  
Haiying Sun ◽  
Junfeng Sun ◽  
Xiang Chen ◽  
...  
Decision ◽  
2016 ◽  
Vol 3 (2) ◽  
pp. 115-131 ◽  
Author(s):  
Helen Steingroever ◽  
Ruud Wetzels ◽  
Eric-Jan Wagenmakers

Sign in / Sign up

Export Citation Format

Share Document