Falsification of Cyber-Physical Systems using Bayesian Optimization
Journal article, 2025
Testning
Cyber-Physcial Systems
Author
Zahra Ramezani
Chalmers, Electrical Engineering, Systems and control
Knut Åkesson
Chalmers, Electrical Engineering, Systems and control
Transactions on Embedded Computing Systems
1539-9087 (ISSN) 15583465 (eISSN)
Systematic 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