48 citations · 58 across the 3 of their papers we have counts for
1 paper · 1 filter
Jingyi Wang, Jun Sun, Yifan Jia +2
Modeling and verifying real-world cyber-physical systems is challenging, which is especially so for complex systems where manually modeling is infeasible. In this work, we report o…