Falsification of Cyber-Physical Systems using Bayesian Optimization
Journal article, 2025
Cyber-Physcial Systems
Testning
Author
Zahra Ramezani
Chalmers, Electrical Engineering, Systems and control
Kenan Sehi'c
Lund University
Luigi Nardi
Lund University
Knut Åkesson
Chalmers, Electrical Engineering, Systems and control
Transactions on Embedded Computing Systems
1539-9087 (ISSN) 15583465 (eISSN)
Vol. In pressSystematic testing of cyber-physical systems (SyTeC)
Swedish Research Council (VR) (2016-06204), 2017-01-01 -- 2022-12-31.
Subject Categories (SSIF 2025)
Robotics and automation
Embedded Systems
Control Engineering
Electrical Engineering, Electronic Engineering, Information Engineering
DOI
10.1145/3711922