Cover-Featured Article in Computer
Our paper “Environment Modeling During Model Checking of Cyberphysical Systems” was cover-featured in Computer September 2021 issue.
Our paper “Environment Modeling During Model Checking of Cyberphysical Systems” was cover-featured in Computer September 2021 issue.
Guangyao Chen
Ph.D Candidate
Guangyao Chen is a Computer Science Ph.D candidate Class 2020 at ShanghaiTech University. He can be reached at chengy2 at shanghaitech.edu.cn
Zhihao Jiang
Assistant Professor
Zhihao Jiang is the director of Human-Cyber-Physical Systems Lab at ShanghaiTech University.