×

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

简单随机博弈算法的比较。 (英语) Zbl 07455745号

Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)326131-148(2020)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

dtControl:用于控制器表示的决策树学习算法。 (英语) Zbl 07300871号

第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第30条,第2页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

dtControl:用于控制器表示的决策树学习算法。 (英语) Zbl 07300858号

第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第17条,第7页(2020年)。
PDF格式BibTeX公司 XML格式引用

LTL合成中奇偶博弈求解的语义标记和学习。 (英语) Zbl 1437.68118号

Chen,Yu-Fang(编辑)等,验证和分析自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11781, 404-422 (2019).
PDF格式BibTeX公司 XML格式引用

线性时序逻辑的极限确定Büchi自动机。 (英语) Zbl 1411.68054号

Chaudhuri,Swarat(编辑)等人,《计算机辅助验证》。第28届国际会议,CAV 2016,加拿大安大略省多伦多,2016年7月17日至23日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。9780, 312-332 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

MDP和频率的控制器综合{长期贷款}_{\setminus\mathrm{GU}}\)。 (英语) Zbl 1471.68142号

Davis,Martin(编辑)等人,《编程逻辑、人工智能和推理》。第20届国际会议,LPAR-20 2015,斐济苏瓦,2015年11月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9450,162-177(2015年)。
PDF格式BibTeX公司 XML格式引用

Rabinizer 3:LTL到小型确定性自动机的非安全转换。 (英语) Zbl 1448.68268号

Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8837, 235-241 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Rabinizer 2:用于\(\mathrm的小型确定性自动机{长期贷款}_{\setminus\mathbf{GU}}\)。 (英语) Zbl 1410.68231号

Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8172, 446-450 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Rabinizer:用于\({\mathrm{LTL}(\mathrm{F},\mathrm2{G})}\)的小型确定性自动机。 (英语) Zbl 1374.68259号

Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。2012年10月3日至6日,印度第十届国际研讨会,2012年ATVA,Thiruvananthapuram。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-3385-9/pbk)。计算机科学课堂讲稿7561,72-76(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模态过程重写系统。 (英语) Zbl 1362.68199号

Roychoudhury,Abhik(编辑)等人,《计算的理论方面——ICTAC 2012》。第九届国际学术讨论会,印度班加罗尔,2012年9月24日至27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32942-5/pbk)。计算机科学课堂讲稿7521120-135(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用时间自动机测量连续时间随机过程的性能。 (英语) Zbl 1361.68136号

2011年4月12日至14日,美国伊利诺伊州芝加哥,HSCC 2011,第14届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0629-4)。33-42 (2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段