Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
A <i>Cyber-Physical System</i> (CPS) is a system which consists of software components and physical components. Traditional system verification techniques such as model checking or theorem proving are difficult to apply to CPS because the physical components have infinite number of states. To solve this problem, robustness guided falsification of CPS …