3 papers
math.CO2025
The repetition threshold for ternary rich words
James D. Currie, Lucas Mol, Jarkko Peltomäki
In 2017, Vesti proposed the problem of determining the repetition threshold for infinite rich words, i.e., for infinite words in which all factors of length contain distinc…
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…