2 citations · 3 across the 3 of their papers we have counts for
6 papers
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…
Automatic winning shifts
Jarkko Peltomäki, Ville Salo
To each one-dimensional subshift , we may associate a winning shift which arises from a combinatorial game played on the language of . Previously it has been studied w…
Initial nonrepetitive complexity of regular episturmian words and their Diophantine exponents
Jarkko Peltomäki
Regular episturmian words are episturmian words whose directive words have a regular and restricted form making them behave more like Sturmian words than general episturmian words.…
On prefix palindromic length of automatic words
Anna E. Frid, Enzo Laborde, Jarkko Peltomäki
The prefix palindromic length of an infinite word is the minimal number of concatenated palindromes needed to express the prefix of leng…
On winning shifts of marked uniform substitutions
Jarkko Peltomäki, Ville Salo
The second author introduced with I. Törmä a two-player word-building game [Playing with Subshifts, Fund. Inform. 132 (2014), 131--152]. The game has a predetermined (possibly fini…
A square root map on Sturmian words
Jarkko Peltomäki, Markus Whiteland
We introduce a square root map on Sturmian words and study its properties. Given a Sturmian word of slope , there exists exactly six minimal squares in its language (a minimal s…