18 citations · 39 across the 17 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
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…