斯文·齐亚德克;乌里法伦伯格;菲利普·施勒胡贝尔(Philipp Schlehuber-Caissier) 能源Büchi问题。 (英语) Zbl 07728845号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 222-239 (2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Dziadek}等人,莱克特。注释计算。科学。14000,222--239(2023;Zbl 07728845) 全文: 内政部 arXiv公司
帕特里夏·鲍耶;保罗·加斯丁;弗雷德里克·赫布雷托;奥坎·桑库尔;Srivathsan,B。 时间自动机的分区验证:外推、模拟和下一步? (英语) Zbl 07643426号 Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。第20届国际会议,FORMATS 2022,波兰华沙,2022年9月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。13465,16-42(2022;Zbl 07643426) 全文: 内政部 arXiv公司
洛依茨海露;尼古拉斯·马基;里塔姆·拉哈 放松能量约束的可达性游戏。 (英语) 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 p.(2022;Zbl 1487.68128) 全文: 内政部 arXiv公司
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里法伦伯格;Larsen,Kim G。;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 使用具有不确定性的能量时间自动机的最优鲁棒控制器综合。 (英语) Zbl 1458.93072号 正式Asp。计算。 33,编号1,3-25(2021).MSC公司:93亿B50 65年第68季度 68瓦30 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,《正式Asp》。计算。33,编号1,3--25(2021;Zbl 1458.93072) 全文: 内政部 arXiv公司
洛依茨海露;尼古拉斯·马基;里塔姆·拉哈 放松能量约束的可达性游戏。 (英语) 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公司 链接
大卫·卡切拉;乌里法伦伯格;Legay、Axel 实时能量问题的(ω)代数。 (英语) Zbl 1421.68092号 日志。方法计算。科学。 15,第2号,第17号论文,22页(2019年).MSC公司:65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cachera}等人,《日志》。方法计算。科学。15,第2号,第17号论文,22页(2019年;Zbl 1421.68092) 全文: arXiv公司
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里法伦伯格;金·古德斯特兰·拉森;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 最优和鲁棒控制器综合。使用具有不确定性的能量时间自动机。 (英语) Zbl 1460.93031号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 203-221 (2018).MSC公司:93亿B50 65年第68季度 68瓦30 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。10951,203-221(2018;Zbl 1460.93031) 全文: 内政部
帕特里夏·鲍耶;乌里法伦伯格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 模型检查实时系统。 (英语) Zbl 1392.68235号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1001-1046 (2018).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,in:模型检查手册。查姆:斯普林格。1001--1046(2018;Zbl 1392.68235) 全文: 内政部 哈尔
佐尔坦·埃西克;乌里法伦伯格;Legay、Axel \能量问题的(^*\)-连续Kleene\(\omega\)-代数。 (英语) Zbl 1476.68129号 Matthes,Ralph(编辑)等人,第十届计算机科学固定点国际研讨会论文集,2015年国际计算机科学联合会,德国柏林,2015年9月11日至12日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)191、48-59(2015)。MSC公司:65年第68季度 06B23号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik}等人,《电子》。程序。西奥。计算。科学。(EPTCS)191、48--59(2015;Zbl 1476.68129) 全文: arXiv公司 链接
曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 加权定时下推自动机的逻辑。 (英语) Zbl 1465.68142号 Beklemishev,Lev D.(编辑)等人,《逻辑与计算领域II》。尤里·古雷维奇75岁生日之际献给他的散文。查姆:斯普林格。莱克特。注释计算。科学。9300, 153-173 (2015).MSC公司:65年第68季度 03B16号 05年3月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{V.Perevoshchikov},莱克特。注释计算。科学。9300153--173(2015年;Zbl 1465.68142) 全文: 内政部
乌里法伦伯格;Larsen,Kim G。;Legay、Axel 实时系统的基于模型的验证、优化、综合和性能评估。 (英语) Zbl 1445.68132号 刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日,在中国上海举行的ICTAC 2013国际软件工程培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。8050,67--108(2013;Zbl 1445.68132) 全文: 内政部 哈尔
Juhl,线路;金·古德斯特兰·拉森;Jean-François拉斯金 多权重和参数化能量对策的最优界。 (英语) Zbl 1390.68399号 Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,244-255(2013)。MSC公司:65年第68季度 65年第68季度 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Juhl}等人,Lect。注释计算。科学。8051,244--255(2013;Zbl 1390.68399) 全文: 内政部
乌里法伦伯格;Juhl,线路;Larsen,Kim G。;吉·斯尔巴 多权自动机中的能量博弈。 (英语) Zbl 1350.68168号 Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会,南非约翰内斯堡,2011年8月31日至9月2日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23282-4/pbk)。计算机科学课堂讲稿6916,95-115(2011)。MSC公司:65年第68季度 68问题85 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。6916,95-115(2011;Zbl 1350.68168) 全文: 内政部