Research Group  

Junyao Hou (PhD student, since September 2018)

Topic: Formal Synthesis of Cyber-Physical Systems for Security

Yongpeng Dong (PhD student, since September 2018)

Topic: Temporal Logic Optimal Control of Cyber-Physical Systems

Zhaocong Liu (Master student, since September 2018)

Topic: Supervisory Control of Networked Discrete-Event Systems

Yuanjiang Yang (Master student, since September 2018)

Topic: Formal Methods in Multi-Robot Motion Planning