Reiya Noguchi;奥坎·桑库尔;蒂埃里·杰伦;尼古拉斯·马基;戴维·曼特雷 修复实时需求。 (英语) 兹比尔1522.68338 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13505, 371-387 (2022).理学硕士:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Noguchi}等人,Lect。注释计算。科学。13505371--387(2022年;Zbl 1522.68338) 全文: 内政部 哈尔
洛依茨海露;尼古拉斯·马基;里塔姆·拉哈 放松能量约束的可达性游戏。 (英语) Zbl 1487.68128号 Inf.计算。 285,B部分,文章ID 104806,20 p.(2022).理学硕士:65年第68季度 2017年第68季度 91年43月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Hélouét}等人,《信息计算》。285,B部分,文章ID 104806,20 p.(2022;Zbl 1487.68128) 全文: 内政部 arXiv公司
洛依茨海露;尼古拉斯·马基;里塔姆·拉哈 具有宽松能量约束的可达性游戏。 (英语) Zbl 07453074号 Leroux,Jéróme(ed.)等人,第十届游戏、自动机、逻辑和形式验证国际研讨会论文集,2019年9月2日至3日,法国波尔多,GandALF 2019。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)305,17-33(2019)。理学硕士:65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Hélouét}等人,《电子》。程序。西奥。计算。科学。(EPTCS)305、17-33(2019;Zbl 07453074) 全文: arXiv公司 链接