2 citations · 2 across the 1 of their papers we have counts for
2 papers
eess.SY2022★ 2 cited
Falsification of Cyber-Physical Systems using Bayesian Optimization
Zahra Ramezani, Kenan Šehić, Luigi Nardi +1
Cyber-physical systems (CPSs) are often complex and safety-critical, making it both challenging and crucial to ensure that the system's specifications are met. Simulation-based fal…
eess.SY2019
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone +3
Cyber-Physical Systems (CPSs) are systems with both physical and software components, for example cars and industrial robots. Since these systems exhibit both discrete and continuo…