×

找到12个文档（结果1-12）

最新的 引文 关联
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里·法伦贝格;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公司 链接
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里·法伦贝格;金·古德斯特兰·拉森;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔

最优和鲁棒控制器综合。使用具有不确定性的能量时间自动机。 （英语） 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）
全文： 内政部 哈尔
帕特里夏·鲍耶;彼得·霍夫曼;尼古拉斯·马基;米凯尔·兰多尔;马丁·齐默尔曼

极限平均能量游戏。 （英语） Zbl 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年；兹bl 1476.68024）
全文： arXiv公司 链接
劳伦·弗里堡;乌尔里希·库恩;尼古拉斯·马基

采样切换系统分布式控制器的基于游戏的综合。 （英语） Zbl 1429.93105号

André，Etienne（编辑）等人，第二届复杂参数合成国际研讨会，SynCoP’15，2015年4月11日，英国伦敦。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 48-62 (2015).
MSC公司：93亿B50 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.Fribourg}等人，OASIcs--OpenAccess服务器。通知。44、48-62（2015年；Zbl 1429.93105）
全文： 内政部
詹乃军;王淑玲;赵恒军

混合系统的形式化建模、分析和验证。 （英语） 兹比尔1444.68105

刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 207-281 (2013).
MSC公司：60年第68季度 03B70号 68伏15 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}等人，Lect。注释计算。科学。8050207--281（2013；Zbl 1444.68105）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件