Jarkko Peltomäki

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 34

Top Topics

Top Venues

Theor. Comput. Sci.

Adv. Appl. Math.

Publications

Jarkko Peltomäki
Initial nonrepetitive complexity of regular episturmian words and their Diophantine exponents. Eur. J. Comb. 118 (2024)
Jarkko Peltomäki, Ivan Porres
Requirement falsification for cyber-physical systems using generative models. CoRR (2023)
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
ARCH-COMP23 Category Report: Falsification. ARCH (2023)
Matteo Biagiola, Stefan Klikovits, Jarkko Peltomäki, Vincenzo Riccio
SBFT Tool Competition 2023 - Cyber-Physical Systems Track. SBFT (2023)
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems. CoRR (2022)
Jarkko Peltomäki, Ivan Porres
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. CoRR (2022)
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
WOGAN at the SBST 2022 CPS Tool Competition. CoRR (2022)
Jarkko Peltomäki, Ville Salo
Automatic winning shifts. Inf. Comput. 285 (Part) (2022)
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
WOGAN at the SBST 2022 CPS Tool Competition. SBST@ICSE (2022)
Jarkko Peltomäki, Ivan Porres
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. ICST Workshops (2022)
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems. SBST@ICSE (2022)
Jarkko Peltomäki
Initial nonrepetitive complexity of regular episturmian words and their Diophantine exponents. CoRR (2021)
Jarkko Peltomäki, Ville Salo
Automatic winning shifts. CoRR (2021)
Anna E. Frid, Enzo Laborde, Jarkko Peltomäki
On prefix palindromic length of automatic words. Theor. Comput. Sci. 891 (2021)
Jarkko Peltomäki, Aleksi Saarela
Standard words and solutions of the word equation X12⋯Xn2=(X1⋯Xn)2. J. Comb. Theory, Ser. A 178 (2021)
Jarkko Peltomäki, Markus A. Whiteland
More on the dynamics of the symbolic square root map. Theor. Comput. Sci. 806 (2020)
Jarkko Peltomäki, Aleksi Saarela
Standard words and solutions of the word equation $X_1^2 \dotsm X_n^2 = (X_1 \dotsm X_n)^2$. CoRR (2020)
Anna E. Frid, Enzo Laborde, Jarkko Peltomäki
On prefix palindromic length of automatic words. CoRR (2020)
Jarkko Peltomäki, Markus A. Whiteland
Avoiding abelian powers cyclically. Adv. Appl. Math. 121 (2020)
Jarkko Peltomäki, Markus A. Whiteland
Avoiding abelian powers cyclically. CoRR (2020)
Jarkko Peltomäki, Markus A. Whiteland
All Growth Rates of Abelian Exponents Are Attained by Infinite Binary Words. MFCS (2020)
Jarkko Peltomäki, Ville Salo
On winning shifts of marked uniform substitutions. RAIRO Theor. Informatics Appl. 53 (1-2) (2019)
Jarkko Peltomäki
Abelian periods of factors of Sturmian words. CoRR (2019)
Jarkko Peltomäki, Markus A. Whiteland
Every Nonnegative Real Number Is an Abelian Critical Exponent. WORDS (2019)
Jarkko Peltomäki, Markus A. Whiteland
Every nonnegative real number is an abelian critical exponent. CoRR (2019)
Adeline Massuir, Jarkko Peltomäki, Michel Rigo
Automatic sequences based on Parry or Bertrand numeration systems. Adv. Appl. Math. 108 (2019)
Adeline Massuir, Jarkko Peltomäki, Michel Rigo
Automatic sequences based on Parry or Bertrand numeration systems. CoRR (2018)
Jarkko Peltomäki, Markus A. Whiteland
More on the dynamics of the symbolic square root map. CoRR (2018)
Jarkko Peltomäki, Markus A. Whiteland
On k-abelian Equivalence and Generalized Lagrange Spectra. CoRR (2018)
Jarkko Peltomäki, Markus A. Whiteland
More on the Dynamics of the Symbolic Square Root Map - (Extended Abstract). WORDS (2017)
Jarkko Peltomäki, Ville Salo
On winning shifts of marked uniform substitutions. CoRR (2017)
Jarkko Peltomäki, Markus A. Whiteland
A Square Root Map on Sturmian Words. Electron. J. Comb. 24 (1) (2017)
Gabriele Fici, Alessio Langiu, Thierry Lecroq, Arnaud Lefebvre, Filippo Mignosi, Jarkko Peltomäki, Élise Prieur-Gaston
Abelian powers and repetitions in Sturmian words. Theor. Comput. Sci. 635 (2016)
Michael Forsyth, Amlesh Jayakumar, Jarkko Peltomäki, Jeffrey O. Shallit
Remarks on Privileged Words. Int. J. Found. Comput. Sci. 27 (4) (2016)
Jarkko Peltomäki, Markus A. Whiteland
A Square Root Map on Sturmian Words - (Extended Abstract). WORDS (2015)
Jarkko Peltomäki
Characterization of repetitions in Sturmian words: A new proof. Inf. Process. Lett. 115 (11) (2015)
Jarkko Peltomäki
Privileged factors in the Thue-Morse word - A comparison of privileged words and palindromes. Discret. Appl. Math. 193 (2015)
Jarkko Peltomäki, Markus A. Whiteland
A square root map on Sturmian words. CoRR (2015)
Jarkko Peltomäki
Characterization of Repetitions in Sturmian Words: A New Proof. CoRR (2014)
Jarkko Peltomäki
Introducing privileged words: Privileged complexity of Sturmian words. Theor. Comput. Sci. 500 (2013)
Jarkko Peltomäki
Introducing Privileged Words: Privileged Complexity of Sturmian Words CoRR (2012)