@收款{zbMATH07728845，作者={Dziadek，Sven和Fahrenberg，Uli和Schlehuber-Caissier，Philipp}，标题={能量{B{\“u}chi}问题}，BookTitle={正式方法。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼}，国际标准图书编号={978-3-031-27480-0；978-3-331-27481-7}，页码={222--239}，年份＝{2023}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-031-27481-7_14}，关键词={68Q45}，zbMATH={7728845}，Zbl={1529.68138}}