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.
Zhihao Jiang
Assistant Professor
Zhihao Jiang is the director of Human-Cyber-Physical Systems Lab at ShanghaiTech University