research
∙
05/23/2022
WOGAN at the SBST 2022 CPS Tool Competition
WOGAN is an online test generation algorithm based on Wasserstein genera...
share
research
∙
05/23/2022
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems
We propose a novel online test generation algorithm WOGAN based on Wasse...
research
∙
05/23/2022
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
We consider the problem of falsifying safety requirements of Cyber-Physi...
research
∙
09/07/2020
On prefix palindromic length of automatic words
The prefix palindromic length PPL_𝐮(n) of an infinite word 𝐮 is the mini...
research
∙
09/24/2018