Cover-Featured Article in Computer

Our paper “Environment Modeling During Model Checking of Cyberphysical Systems” was cover-featured in Computer September 2021 issue.

Guangyao Chen, Zhihao Jiang
Last updated on Sep 11, 2021
Project

Our paper “Environment Modeling During Model Checking of Cyberphysical Systems” was cover-featured in Computer September 2021 issue.

Awards
Guangyao Chen
Guangyao Chen
Alumni

Guangyao Chen graduated from ShanghaiTech University and is now with Yuanlan Private Fund.

Zhihao Jiang
Zhihao Jiang
Assistant Professor

Zhihao Jiang is the director of Human-Cyber-Physical Systems Lab at ShanghaiTech University.

Related