乔瓦尼·巴奇;帕特里夏·鲍耶;乌里·法伦贝格;拉森,金·G。;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 基于不确定性能量时间自动机的最优鲁棒控制器综合。 (英语) Zbl 1458.93072号 正式Asp。计算。 33,编号1,3-25(2021).MSC公司:93亿B50 第68季度第45季度 68瓦30 93立方65 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,《正式Asp》。计算。33,编号1,3--25(2021;Zbl 1458.93072) 全文: 内政部 arXiv公司
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里·法伦贝格;金·古德斯特兰·拉森;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 最优和鲁棒控制器综合。使用具有不确定性的能量时间自动机。 (英语) Zbl 1460.93031号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10951, 203-221 (2018).MSC公司:93亿B50 第68季度第45季度 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季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,in:模型检查手册。查姆:施普林格。1001-1046(2018年;兹比尔1392.68235) 全文: 内政部 哈尔
帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;拉森,金·G。;西蒙·劳森 平均能量游戏。 (英语) Zbl 1390.68115号 学报信息。 55,编号2,91-127(2018).MSC公司:68平方米 第68季度25 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《学报》第55期,第2期,第91-127页(2018年;Zbl 1390.68115) 全文: 内政部 哈尔
帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;拉森,金·G。;西蒙·劳尔森 平均能量游戏。 (英语) Zbl 1476.68024号 Esparza,Javier(编辑)等人,《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2015,热那亚,意大利,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193,1-15(2015)。MSC公司:68平方米 第68季度25 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《电子》。程序。西奥。计算。科学。(EPTCS)193,1--15(2015;Zbl 1476.68024) 全文: arXiv公司 链接
劳伦特·多恩;Juhl,Line公司;拉森,金·G。;尼古拉斯·马基;马赫萨·希尔穆罕默德 同步加权和定时自动机的单词。 (英语) Zbl 1360.68552号 Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15日至17日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学论文集29,121-132(2014)。MSC公司:第68季度第45季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人,LIPIcs——莱布尼茨国际程序。通知。29121-132(2014年;Zbl 1360.68552) 全文: 内政部
帕特里夏·鲍耶;拉森,金·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公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。6901、76-91(2011年;Zbl 1343.68134) 全文: 内政部
帕特里夏·鲍耶;乌里·法伦贝格;拉森,金·G。;尼古拉斯·马基 能量约束下带观测器的时间自动机。 (英语) Zbl 1361.68135号 第13届ACM混合系统国际会议论文集:计算与控制,HSCC 2010,瑞典斯德哥尔摩,2010年4月12-16日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-955-8)。61-70 (2010).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,in:第13届ACM混合系统国际会议论文集:计算与控制,HSCC 2010,瑞典斯德哥尔摩,2010年4月12-16日。纽约州纽约市:计算机协会(ACM)。61-70(2010年;Zbl 1361.68135) 全文: 内政部
帕特里夏·鲍耶;乌里·法伦贝格;拉森,金·G。;尼古拉斯·马基;吉·斯尔巴 无限在能量约束的加权时间自动机中运行。 (英语) Zbl 1171.68524号 Cassez,Franck(编辑)等,时间系统的形式化建模和分析。2008年9月15日至17日,第六届国际会议,FORMATS 2008,法国圣马洛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85777-8/pbk)。计算机科学课堂讲稿5215,33-47(2008)。MSC公司:第68季度第45季度 90B35型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。5215、33-47(2008年;Zbl 1171.68524) 全文: 内政部
帕特里夏·鲍耶;拉森,金·G。;尼古拉斯·马基 模型检查单时钟定价时间自动机。 (英语) Zbl 1149.68401号 日志。方法计算。科学。 4,第2期,论文9,28页(2008年).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Log。方法计算。科学。4,第2期,论文9,28页(2008年;Zbl 1149.68401) 全文: 内政部
帕特里夏·鲍耶;拉森,金·G。;尼古拉斯·马基 模型检查单时钟定价的时间自动机。 (英语) Zbl 1149.68400号 Seidl,Helmut(编辑),《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007,该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71388-3/pbk)。计算机科学课堂讲稿4423108-122(2007)。MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。4423、108-122(2007年;Zbl 1149.68400) 全文: 内政部
帕特里夏·鲍耶;拉森,金·G。;尼古拉斯·马基;雅各布·伊勒姆拉斯穆森 在一个时钟定价的计时游戏中,几乎是最佳策略。 (英语) Zbl 1177.68142号 Arun-Kumar,S.(编辑)等人,FSTTCS 2006:软件技术和理论计算机科学基础。第26届国际会议,印度加尔各答,2006年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49994-7/pbk)。计算机科学课堂讲稿4337,345-356(2006)。MSC公司:60年第68季度 91A05级 91A55型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。4337345--356(2006年;Zbl 1177.68142) 全文: 内政部