Falsification of Cyber-Physical Systems using Bayesian Optimization
Artikel i vetenskaplig tidskrift, 2025
Testning
Cyber-Physcial Systems
Författare
Zahra Ramezani
Chalmers, Elektroteknik, System- och reglerteknik
Knut Åkesson
Chalmers, Elektroteknik, System- och reglerteknik
Transactions on Embedded Computing Systems
1539-9087 (ISSN) 15583465 (eISSN)
Systematisk testning av cyberfysiska system (SyTeC)
Vetenskapsrådet (VR) (2016-06204), 2017-01-01 -- 2022-12-31.
Ämneskategorier (SSIF 2025)
Robotik och automation
Inbäddad systemteknik
Reglerteknik
Elektroteknik och elektronik
DOI
10.1145/3711922