洛伊奇，Hélouët;尼古拉斯·马基;里塔姆·拉哈 放松能量约束的可达性游戏。 （英语） Zbl 1487.68128号 Inf.计算。 285，B部分，文章ID 104806，20 p.（2022）.MSC公司：65年第68季度 2017年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Hélouét}等人，《信息计算》。285，B部分，文章ID 104806，第20页（2022；Zbl 1487.68128） 全文： 内政部 arXiv公司
洛伊奇，Hélouët;尼古拉斯·马基;里塔姆·拉哈 放松能量约束的可达性游戏。 （英语） Zbl 07453074号 Leroux，Jéróme（ed.）等人，第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年9月2日至3日，法国波尔多，GandALF 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）305，17-33（2019）。MSC公司：65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Hélouét}等人，《电子》。程序。西奥。计算。科学。（EPTCS）305、17-33（2019；Zbl 07453074） 全文： arXiv公司 链接