2 citations · 2 across the 4 of their papers we have counts for
5 papers
Learning Neural Hybrid Surrogates for Gradient-Based Falsification
Lasse Kötz, Knut Åkesson
Falsification of hybrid dynamical systems remains challenging due to mode-dependent dynamics and discrete transitions. In this work, we propose a surrogate-based falsification appr…
Optimal Control-Based Falsification of Learnt Dynamics via Neural ODEs and Symbolic Regression
Lasse Kötz, Jonas Sjöberg, Knut Åkesson
We present a falsification framework that integrates learned surrogate dynamics with optimal control to efficiently generate counterexamples for cyber-physical systems specified in…
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…
Leveraging Conflicting Constraints in Solving Vehicle Routing Problems
Sabino Francesco Roselli, Remco Vader, Martin Fabian +1
The Conflict-Free Electric Vehicle Routing Problem (CF-EVRP) is a combinatorial optimization problem of designing routes for vehicles to visit customers such that a cost function,…
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…