Jarkko Peltomäki

Requirement falsification for cyber-physical systems using generative models

2023 · arXiv (Cornell University)

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 while requirements are expressed in signal temporal logic. OGAN can find …