Cyber-physical systems; Falsification; Gaussian processes; Model-based testing; Robustness; Theoretical Computer Science; Computer Science (all)

Abstract. Search-based testing is widely used to find bugs in models of complex Cyber-Physical Systems. Latest research efforts have improved this approach by casting it as a falsification procedure of formally spec- ified temporal properties, …