3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.MA2019★ 1 cited
Emergent Escape-based Flocking Behavior using Multi-Agent Reinforcement Learning
Carsten Hahn, Thomy Phan, Thomas Gabor +2
In nature, flocking or swarm behavior is observed in many species as it has beneficial properties like reducing the probability of being caught by a predator. In this paper, we pro…
cs.LG2017★ 3 cited
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…
cs.SE2017
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…