This page shows all presentations of this author published in EasyChair Smart Slide.
Switching Controller Synthesis for Delay Hybrid Systems Under Perturbations
Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue and Naijun Zhan
Monitoring CTMCs By Multi-Clock Timed Automata
Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia and Naijun Zhan