collaborators

1 paper

cs.FL2021

Environment Modeling During Model Checking of Cyber-Physical Systems

Guangyao Chen, Zhihao Jiang

Ensuring the safety and efficacy of Cyber-Physical Systems (CPSs) is challenging due to the large variability of their operating environment. Model checking has been proposed for v…