Falsification of Cyber-Physical Systems using Bayesian Optimization
Artikel i vetenskaplig tidskrift, 2025
Cyber-Physcial Systems
Testning
Författare
Zahra Ramezani
Chalmers, Elektroteknik, System- och reglerteknik
Kenan Sehi'c
Lunds universitet
Luigi Nardi
Lunds universitet
Knut Åkesson
Chalmers, Elektroteknik, System- och reglerteknik
Transactions on Embedded Computing Systems
1539-9087 (ISSN) 15583465 (eISSN)
Vol. In pressSystematisk 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