堆叠汤普森赌博机
软件工程
2017-03-01 v1 人工智能
系统与控制
摘要
我们引入堆叠汤普森赌博机（STB），用于高效生成可能满足给定有界时序逻辑需求的规划。STB利用仿真评估规划，并采用贝叶斯方法利用所得信息指导其搜索。特别地，我们展示了通过堆叠多臂赌博机并使用汤普森采样指导每个赌博机的动作选择过程，STB能够以高概率生成满足需求的规划，同时仅搜索搜索空间的一小部分。
引用
@article{arxiv.1702.08726,
title = {Stacked Thompson Bandits},
author = {Lenz Belzner and Thomas Gabor},
journal= {arXiv preprint arXiv:1702.08726},
year = {2017}
}
备注
Accepted at SEsCPS @ ICSE 2017