9 citations · 10 across the 3 of their papers we have counts for
3 papers
cs.RO2022
WOGAN at the SBST 2022 CPS Tool Competition
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
WOGAN is an online test generation algorithm based on Wasserstein generative adversarial networks. In this note, we present how WOGAN works and summarize its performance in the SBS…
cs.SE2022★ 1 cited
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
Jarkko Peltomäki, Ivan Porres
We consider the problem of falsifying safety requirements of Cyber-Physical Systems expressed in signal temporal logic (STL). This problem can be turned into an optimization proble…
cs.DM2014★ 9 cited
Characterization of repetitions in Sturmian words: A new proof
Jarkko Peltomäki
We present a new, dynamical way to study powers (that is, repetitions) in Sturmian words based on results from Diophantine approximation theory. As a result, we provide an alternat…