16 citations · 77 across the 21 of their papers we have counts for
7 papers · 1 filter
Genealogical Distance as a Diversity Estimate in Evolutionary Algorithms
Thomas Gabor, Lenz Belzner
The evolutionary edit distance between two individuals in a population, i.e., the amount of applications of any genetic operator it would take the evolutionary process to generate…
Qualitative Assessment of Recurrent Human Motion
Andre Ebert, Michael Till Beck, Andy Mattausch +2
Smartphone applications designed to track human motion in combination with wearable sensors, e.g., during physical exercising, raised huge attention recently. Commonly, they provid…
QoS-Aware Multi-Armed Bandits
Lenz Belzner, Thomas Gabor
Motivated by runtime verification of QoS requirements in self-adaptive and self-organizing systems that are able to reconfigure their structure and behavior in response to runtime…
Stacked Thompson Bandits
Lenz Belzner, Thomas Gabor
We introduce Stacked Thompson Bandits (STB) for efficiently generating plans that are likely to satisfy a given bounded temporal logic requirement. STB uses a simulation for evalua…
Bayesian Verification under Model Uncertainty
Lenz Belzner, Thomas Gabor
Machine learning enables systems to build and update domain models based on runtime observations. In this paper, we study statistical model checking and runtime verification for sy…
Monte Carlo Action Programming
Lenz Belzner
This paper proposes Monte Carlo Action Programming, a programming language framework for autonomous systems that act in large probabilistic state spaces with high branching factors…
Scalable Multiagent Coordination with Distributed Online Open Loop Planning
Lenz Belzner, Thomas Gabor
We propose distributed online open loop planning (DOOLP), a general framework for online multiagent coordination and decision making under uncertainty. DOOLP is based on online heu…