2 papers
cs.LG2025
Requirement falsification for cyber-physical systems using generative models
Jarkko Peltomäki, Ivan Porres
We present the OGAN algorithm for automatic requirement falsification of cyber-physical systems. System inputs and outputs are represented as piecewise constant signals over time w…
cs.LG2024
Learning test generators for cyber-physical systems
Jarkko Peltomäki, Ivan Porres
Black-box runtime verification methods for cyber-physical systems can be used to discover errors in systems whose inputs and outputs are expressed as signals over time and their co…