16 citations · 77 across the 21 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2017
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…
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…