×

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

蒙特卡罗树搜索定价时间自动机。 (英语) 兹比尔1522.68273

布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 381-398 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于人口的方法优化时间自动机的无限行为。 (英语) Zbl 1487.68217号

Alechina,Natasha(编辑)等人,第25届时间表征和推理国际研讨会。《时代》2018,波兰华沙,2018年10月15日至17日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120,第22条,第22页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用时间自动机形式化危险警告通信协议。 (英语) Zbl 1431.68011号

Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 640-660 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时合同下嵌入式控制器的调度。 (英语) 兹比尔1369.93359

2017年4月18日至20日,美国宾夕法尼亚州匹兹堡,2017年HSCC,第20届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4590-3)。131-140 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

证明自治城市交通安全的抽象模型。 (英语) 兹比尔1401.68199

Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格(ISBN 978-3-319-46749-8/pbk;978-3-3169-46750-4/电子书)。计算机科学讲座笔记9965,274-292(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

以尽可能低的成本生存。 (英语) Zbl 1135.93352号

Alur,Rajeev(编辑)等人,《混合系统:计算和控制》。2004年3月25日至27日在美国宾夕法尼亚州费城举行的HSCC 2004第七届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21259-0/pbk)。计算机科学课堂讲稿2993203-218(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用混合整数规划优化时间自动机模型。 (英语) 兹比尔1099.68674

Larsen,Kim G.(编辑)等,时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-21671-5/pbk)。计算机科学课堂讲稿279173-87(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定价时间自动机的最低成本可达性。 (英语) Zbl 0991.68037号

Di Benedetto,Maria Domenica(编辑)等人,《混合系统:计算和控制》。第四届国际研讨会,2001年HSCC,意大利罗马,2001年3月28日至30日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2034, 147-161 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

计算化工厂多批次模式下的最优运行方案。 (英语) Zbl 0984.93061号

Lynch,Nancy(编辑)等人,《混合系统:计算和控制》。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1790, 338-351 (2000).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份