×

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

最新的 引文 关联
李勇;安德烈亚·图里尼;孙雪超;张丽君

基于蒙特卡罗抽样的Büchi自动机的非包含性证明。 （英语） Zbl 1517.68205号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12302, 467-483 (2020).
MSC公司：65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Li｝等人，Lect。注释计算。科学。12302467--483（2020年；Zbl 1517.68205）
全文： 内政部 arXiv公司
瓦希德·哈希米;安德烈亚·图里尼;恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯;哈立德·埃尔巴西尼

区间MDP的多项式时间交替概率互模拟。 （英语） Zbl 1498.68187号

Larsen，Kim G.（编辑）等，可靠软件工程。理论、工具和应用。第三届国际研讨会，2017年10月23日至25日，中国长沙，SETTA 2017。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10606, 25-41 (2017).
MSC公司：68问题85 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{V.Hashemi}等人，Lect。注释计算。科学。10606，25-41（2017；Zbl 1498.68187）
全文： 内政部
李勇;刘万伟;安德里亚·图里尼;恩斯特·莫里茨·哈恩;张丽君

一种针对线性时间特性的参数马尔可夫链的有效综合算法。 （英语） Zbl 1393.68107号

Fränzle，Martin（编辑）等人，《可靠软件工程：理论、工具和应用》。2016年11月9日至11日，第二届国际研讨会，SETTA 2016，中国北京。诉讼程序。查姆：施普林格（ISBN 978-3-319-47676-6/pbk；978-3-3169-47677-3/电子书）。计算机科学讲座笔记9984280-296（2016）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Li｝等人，Lect。注释计算。科学。9984280-296（2016年；Zbl 1393.68107）
全文： 内政部 arXiv公司
恩斯特·莫里茨·哈恩;瓦希德·哈希米;霍尔格·赫尔曼斯;安德烈亚·图里尼

开发区间概率互模拟的鲁棒优化。 （英语） Zbl 1377.68132号

Agha，Gul（编辑）等人，《系统的定量评估》。第13届国际会议，2016年QEST，加拿大魁北克市，QC，2016年8月23日至25日。诉讼程序。查姆：施普林格（ISBN 978-3-319-43424-7/pbk；978-3-3169-43425-4/电子书）。计算机科学讲座笔记9826，55-71（2016）。
MSC公司：60年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Hahn}等人，Lect。注释计算。科学。9826，55--71（2016；Zbl 1377.68132）
全文： 内政部
瓦希德哈希米;霍尔格·赫尔曼斯;宋磊;苏布拉马尼，K。;安德烈亚·图里尼;彼得·沃伊切乔夫斯基

区间Markov决策过程的组合互模拟最小化。 （英语） Zbl 1435.68197号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。第十届国际会议，LATA 2016，捷克共和国布拉格，2016年3月14日至18日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9618, 114-126 (2016).
MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Hashemi}等人，Lect。注释计算。科学。9618，114-126（2016；Zbl 1435.68197）
全文： 内政部
恩斯特·莫里茨·哈恩;李广元;斯文·舍韦;安德烈亚·图里尼;张丽君

没有确定的惰性概率模型检查。 （英语） Zbl 1374.68290号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，354-367（2015）。
MSC公司：60年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Hahn}等人，LIPIcs——莱布尼茨国际程序。通知。42354--367（2015年；Zbl 1374.68290）
全文： 内政部 arXiv公司
丹尼尔·格布勒;瓦希德·哈希米;安德烈亚·图里尼

概率并发系统的行为关系计算。 （英语） Zbl 1426.68183号

Remke，Anne（编辑）等人，《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林：斯普林格。勒克特。注释计算。科学。8453117-155（2014）中所述。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Gebler}等人，Lect。注释计算。科学。8453117-155（2014年；Zbl 1426.68183）
全文： 内政部
克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯;朱莉娅·克雷默;安德里亚·图里尼;张丽君

确定分布的相似性。 （英语） Zbl 1398.68364号

Joshi，Kaustubh（编辑）等人，《系统的定量评估》。第十届国际会议，QEST 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40195-4/pbk）。计算机科学课堂讲稿8054，72-88（2013）。
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Eisentraut}等人，Lect。注释计算。科学。8054，72--88（2013；Zbl 1398.68364）
全文： 内政部
霍尔格·赫尔曼斯;安德烈亚·图里尼

概率自动机的保成本互模拟。 （英语） Zbl 1390.68473号

D’Argenio，Pedro R.（编辑）等人，CONCUR 2013——并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40183-1/pbk）。计算机科学课堂讲稿8052，349-363（2013）。
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Hermanns}和\textit{A.Turrini}，莱克特。注释计算。科学。8052、349--363（2013；Zbl 1390.68473）
全文： 内政部 arXiv公司
克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯;约翰·舒斯特;安德烈亚·图里尼;张丽君

为概率自动机寻求最小商。 （英语） Zbl 1381.68115号

Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795，16-31（2013）。
MSC公司：65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Eisentraut}等人，Lect。注释计算。科学。7795，16-31（2013；Zbl 1381.68115）
全文： 内政部
霍尔格·赫尔曼斯;安德烈亚·图里尼

多项式时间内概率自动机弱互模拟的判定。 （英语） Zbl 1354.68157号

D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，435-447（2012）。
MSC公司：65年第68季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Hermanns}和\textit{A.Turrini}，LIPIcs——莱布尼茨国际程序。通知。18、435--447（2012年；Zbl 1354.68157）
全文： 内政部 arXiv公司
罗伯托·塞加拉;安德烈亚·图里尼

条件自动机：安全删除可忽略事件的工具。 （英语） Zbl 1287.68141号

Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269539-553（2010）。
MSC公司：68问题85 65年第68季度 60年第68季度 87年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{R.Segala}和\textit{A.Turrini}，莱克特。注释计算。科学。6269、539--553（2010年；Zbl 1287.68141）
全文： 内政部
西蒙·克莱默;卡图西亚帕拉米德斯;罗伯特·塞加拉;安德烈亚·图里尼;克里斯特尔·布劳恩

概率过程的定量多弹性逻辑及其在信息挖掘中的应用。 （英语） Zbl 1186.68325号

J.应用。非类别。日志。 19，第4期，489-516（2009）.
MSC公司：87年第68季度 03B45号 03B70号 68T42型 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{S.Kramer}等人，J.Appl。非类别。日志。19，第4号，489--516（2009；Zbl 1186.68325）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件