帕特里夏·鲍耶;奥尔纳·库普弗曼;尼古拉斯·马基;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;朱塞佩·佩雷利 关于战略行为的质量和模糊性的推理。 (英语) Zbl 07713582号 ACM事务处理。计算。日志。 24,第3号,第21号论文,38页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,ACM Trans。计算。日志。24,第3号,第21号文件,第38页(2023;Zbl 07713582) 全文: 内政部 arXiv公司
Nathalie Bertrand;雨果·弗兰肯;尼古拉斯·马基 同步下的单词长期贷款限制。 (英语) Zbl 07691951号 Inf.流程。莱特。 182,文章ID 106392,第7页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,《信息处理》。莱特。182,文章ID 106392,7 p.(2023;Zbl 07691951) 全文: 内政部
利奥·亨利;蒂埃里·杰伦;尼古拉斯·马基 定时系统离线测试的控制策略。 (英语) Zbl 07683086号 形式方法系统。设计。 第2期第60页,第147-194页(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Henry}等人,《形式方法系统》。设计。60,编号2147-194(2022;兹bl 07683086) 全文: 内政部
阿琳·戈敏;尼古拉斯·马基;奥坎·桑库尔 定时网络拥塞游戏中的非盲策略。 (英语) Zbl 07643435号 Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。第20届国际会议,FORMATS 2022,波兰华沙,2022年9月13日至15日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13465, 183-199 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Goeminne}等人,Lect。注释计算。科学。13465183-199(2022;Zbl 07643435) 全文: 内政部 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 07317095号 Bertrand,Nathalie(编辑)等,时间系统的形式化建模和分析。第18届国际会议,FORMATS 2020,奥地利维也纳,2020年9月1日至3日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12288, 144-160 (2020).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Henry}等人,Lect。注释计算。科学。12288,144-160(2020;Zbl 07317095) 全文: 内政部 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公司 链接
利奥·亨利;蒂埃里·杰伦;尼古拉斯·马基 定时系统离线测试的控制策略。 (英语) Zbl 1508.68221号 del Mar Gallardo,María(编辑)等人,模型检查软件。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10869, 171-189 (2018).MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Henry}等人,Lect。注释计算。科学。10869、171--189(2018;Zbl 1508.68221) 全文: 内政部 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) 全文: 内政部 哈尔
帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;Larsen,Kim G。;西蒙·劳尔森 平均能量游戏。 (英语) 兹比尔1390.68115 Acta信息。 55,编号2,91-127(2018).MSC公司:68平方米 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《学报》第55期,第2期,第91-127页(2018年;Zbl 1390.68115) 全文: 内政部 哈尔
帕特里夏·鲍耶;彼得·霍夫曼;尼古拉斯·马基;米凯尔·兰多尔;马丁·齐默尔曼 极限平均能量游戏。 (英语) 兹比尔1392.68115 Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-54457-0/pbk;978-3-562-54458-7/电子书)。计算机科学课堂讲稿10203,179-195(2017)。MSC公司:68平方米 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。10203、179--195(2017;Zbl 1392.68115) 全文: 内政部 arXiv公司
帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;Larsen,Kim G。;西蒙·劳尔森 平均能量游戏。 (英语) Zbl 1476.68024号 Esparza,Javier(编辑)等人,《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2015,热那亚,意大利,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193,1-15(2015)。MSC公司:68平方米 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《电子》。程序。西奥。计算。科学。(EPTCS)193,1--15(2015;Zbl 1476.68024) 全文: arXiv公司 链接
埃蒂安·安德烈;尼古拉斯·马基 参数时间自动机中的语言保存问题。 (英语) Zbl 1465.68129号 Sankaranarayanan,Sriram(编辑)等人,时间系统的形式化建模和分析。第13届国际会议,FORMATS 2015,西班牙马德里,2015年9月2-4日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9268, 27-43 (2015).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}和\textit{N.Markey},莱克特。注释计算。科学。9268,27-43(2015;Zbl 1465.68129) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;奥坎桑库尔 时间自动机和游戏中的鲁棒可达性:基于游戏的方法。 (英语) Zbl 1302.68153号 西奥。计算。科学。 563,43-74(2015).MSC公司:65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Theor。计算。科学。563、43——74(2015;Zbl 1302.68153) 全文: 内政部
奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 缩小时间自动机。 (英语) Zbl 1285.68090号 Inf.计算。 234, 107-132 (2014).MSC公司:65年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Sankur}等人,《信息计算》。234107--132(2014年;Zbl 1285.68090) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 通过泵入通道机器对时间自动机进行鲁棒模型检查。 (英语) Zbl 1348.68122号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,97-112(2011)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。6919,97-112(2011;Zbl 1348.68122) 全文: 内政部
帕特里夏·鲍耶;Larsen,Kim G。;尼古拉斯·马基;奥坎·桑库尔;克劳斯·苏兰 时间自动机总是可以实现的。 (英语) Zbl 1343.68134号 Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,德国亚琛,第22届国际会议,CONCUR 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿690176-91(2011)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。6901、76-91(2011年;Zbl 1343.68134) 全文: 内政部
帕特里夏·鲍耶;乌里法伦伯格;Larsen,Kim G。;尼古拉斯·马基;吉·斯尔巴 无限在能量约束的加权时间自动机中运行。 (英语) Zbl 1171.68524号 Cassez,Franck(编辑)等,时间系统的形式化建模和分析。2008年9月15日至17日,第六届国际会议,FORMATS 2008,法国圣马洛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85777-8/pbk)。计算机科学课堂讲稿5215,33-47(2008)。MSC公司:65年第68季度 90B35型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。5215、33-47(2008年;Zbl 1171.68524) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 基于信道机的时间自动机鲁棒性分析。 (英语) Zbl 1138.68431号 Amadio,Roberto(编辑),《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008,该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78497-5/pbk)。计算机科学课堂讲稿4962157-171(2008)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。4962,157--171(2008;Zbl 1138.68431) 全文: 内政部
帕特里夏·鲍耶;托马斯·布里海耶;尼古拉斯·马基 改进了加权时间自动机的不可判定性结果。 (英语) Zbl 1187.68291号 Inf.流程。莱特。 98,第5期,188-194(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《信息处理》。莱特。98,第5号,188--194(2006;Zbl 1187.68291) 全文: 内政部 哈尔