@InCollection{zbMATH07439747，作者={Tentrup，Leander and Weinert，Alexander and Zimmermann，Martin}，标题={近似提示中的最优界-{LTL}在双指数时间内的可实现性}，BookTitle={关于游戏、自动机、逻辑和形式验证的第七届国际研讨会论文集，甘道夫2016，卡塔尼亚，意大利，2016年9月14日至16日}，页码={302--315}，年份={2016年}，Publisher={滑铁卢：开放出版协会（OPA）}，语言={英语}，关键词={68Q60,03B44,68Q25}，URL={eptcs.web.cse.unsw.edu.au/paper.cgi？GandALF2016.21}，zbMATH={7439747}，Zbl={1478.68179}}