Login / Signup
Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs.
Jiawan Wang
Wenxia Liu
Muzimiao Zhang
Jiaqi Wei
Yuhui Shi
Lei Bu
Xuandong Li
Published in:
CAV (3) (2024)
Keyphrases
</>
general purpose
database
neural network
lightweight
optimal solution
computational complexity
evolutionary algorithm
hardware implementation
web scale
memory efficient