20 citations · 35 across the 8 of their papers we have counts for
1 paper · 1 filter
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…