Wenliang Liu

1. Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints
   2020/09/24 by Wenliang Liu, Noushin Mehdipour, Liu, Wenliang +3 · 3 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Fuel Cells and Related Materials #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet
   2023/04/12 by Wenliang Liu, Liu, Wenliang, Wei Xiao +3 · 3 citations
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks
   2021/03/29 by Wenliang Liu, Liu, Wenliang, Nishioka, Mirai +1 · 1 citation
   Computer Science · Engineering · #Formal Methods in Verification #Fuel Cells and Related Materials #Machine Learning and Algorithms