×

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

回到未来:重新审视线性时序逻辑。 (英语) Zbl 07495100号

Maneth,Sebastian(编辑),自动机的实现和应用。第25届国际会议,CIAA 2021,虚拟活动,2021年7月19-22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12803, 3-13 (2021).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用安全控制屏障证书的对抗环境中的线性时序逻辑满意度。 (英语) Zbl 1440.68038号

Alpcan,Tansu(编辑)等人,《安全决策与博弈论》。2019年10月30日至11月1日,第十届国际会议,2019年GameSec,瑞典斯德哥尔摩。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11836, 385-403 (2019).
PDF格式BibTeX公司 XML格式引用

Owl:一个包含\(\omega\)单词、自动机和LTL的库。 (英语) 兹比尔1517.68203

Lahiri,Shuvendu K.(编辑)等人,用于验证和分析的自动化技术。第16届国际研讨会,2018年10月7日至10日,美国加利福尼亚州洛杉矶,ATVA 2018。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11138, 543-550 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

LTL到限制确定性自动机的最佳转换。 (英语) Zbl 1452.68121号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。10206, 113-129 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

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

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

生物化学系统中空间和时间模式的验证。 (英语) Zbl 1351.68157号

Pauleve,Loic(编辑)等人,第五届静态分析和系统生物学国际研讨会(SASB 2014)的后期报道,德国慕尼黑,2014年9月10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记316,29-44(2015)。
MSC公司:60年第68季度 03B70号 2005年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Marimba:用于验证隐藏马尔可夫模型属性的工具。 (英语) Zbl 1471.68146号

Finkbeiner,Bernd(编辑)等人,《验证和分析自动化技术》。2015年10月12日至15日,第13届国际研讨会,亚洲电视协会,中国上海。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9364, 201-206 (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格式引用
全文: 内政部

验证pCTL模型检查。 (英语) Zbl 1352.68154号

Flanagan,Cormac(编辑)等人,《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议(TACAS 2012),是欧洲软件理论与实践联合会议(ETAPS 2012)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28755-8/pbk)。计算机科学课堂讲稿7214,347-361(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

竞争随机系统的自动验证。 (英语) Zbl 1352.68150号

Flanagan,Cormac(编辑)等人,《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议(TACAS 2012),是欧洲软件理论与实践联合会议(ETAPS 2012)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28755-8/pbk)。计算机科学课堂讲稿7214,315-330(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于CSL模型的自动检查。 (英语) Zbl 1334.68135号

Aceto,Luca(编辑)等人,《自动化,语言和编程》。第38届国际学术讨论会,ICALP 2011,瑞士苏黎世,2011年7月4日至8日。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学课堂讲稿6756271-282(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

外生概率计算树逻辑。 (英语) 兹比尔1279.03054

Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》190,第3期,95-110(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

HOL中的定量时间逻辑机械化。 (英语) Zbl 1169.03325号

Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722439-453(2005)。
MSC公司:03B35型 03B44号 68吨15 68瓦20
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份