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

  • Yuanjian Yang (Master student, since September 2018)

    Topic: Formal Methods in Multi-Robot Motion Planning