×

找到13个文档(结果1-13)

能源Büchi问题。 (英语) Zbl 07728845号

Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 222-239 (2023).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

时间自动机的分区验证:外推、模拟和下一步? (英语) Zbl 07643426号

Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。第20届国际会议,FORMATS 2022,波兰华沙,2022年9月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

放松能量约束的可达性游戏。 (英语) Zbl 07453074号

Leroux,Jéróme(ed.)等人,第十届游戏、自动机、逻辑和形式验证国际研讨会论文集,2019年9月2日至3日,法国波尔多,GandALF 2019。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)305,17-33(2019)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

最优和鲁棒控制器综合。使用具有不确定性的能量时间自动机。 (英语) Zbl 1460.93031号

Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 203-221 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查实时系统。 (英语) Zbl 1392.68235号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1001-1046 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

\能量问题的(^*\)-连续Kleene\(\omega\)-代数。 (英语) Zbl 1476.68129号

Matthes,Ralph(编辑)等人,第十届计算机科学固定点国际研讨会论文集,2015年国际计算机科学联合会,德国柏林,2015年9月11日至12日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)191、48-59(2015)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

加权定时下推自动机的逻辑。 (英语) Zbl 1465.68142号

Beklemishev,Lev D.(编辑)等人,《逻辑与计算领域II》。尤里·古雷维奇75岁生日之际献给他的散文。查姆:斯普林格。莱克特。注释计算。科学。9300, 153-173 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时系统的基于模型的验证、优化、综合和性能评估。 (英语) Zbl 1445.68132号

刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日,在中国上海举行的ICTAC 2013国际软件工程培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

多权重和参数化能量对策的最优界。 (英语) Zbl 1390.68399号

Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,244-255(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多权自动机中的能量博弈。 (英语) Zbl 1350.68168号

Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会,南非约翰内斯堡,2011年8月31日至9月2日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23282-4/pbk)。计算机科学课堂讲稿6916,95-115(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份