×

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

最新的 引文 关联
恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克

替代好的MDP自动机。 （英语） Zbl 1522.68270号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 303-319 (2022).
MSC公司：65年第68季度 60年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Hahn}等人，Lect。注释计算。科学。13505、303--319（2022；Zbl 1522.68270）
全文： 内政部 arXiv公司 链接
恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克

不可能导致自动机理论强化学习。 （英语） Zbl 1522.68269号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 42-57 (2022).
MSC公司：65年第68季度 68问题32 68T05型 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Hahn}等人，Lect。注释计算。科学。13505，42-57（2022；Zbl 1522.68269）
全文： 内政部 链接
恩斯特·莫里茨·哈恩;马特奥·佩雷斯;斯文·舍韦;法比奥·萨蒙齐;阿舒托什·特里维迪;多米尼克·沃伊特扎克

忠实有效的奖励方案，用于欧米伽规则目标的无模型强化学习。 （英语） Zbl 1517.68331号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12302108-124（2020年）。
MSC公司：68T05型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Hahn}等人，Lect。注释计算。科学。12302、108-124（2020年；Zbl 1517.68331）
全文： 内政部 链接
保罗·盖纳;恩斯特·莫里茨·哈恩;斯文·舍韦

参数马尔可夫链的加速模型检验。 （英语） Zbl 1517.68235号

Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 300-316 (2018).
MSC公司：60年第68季度 60年22日 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Gainer}等人，Lect。注释计算。科学。11138300-316（2018年；兹比尔1517.68235）
全文： 内政部 arXiv公司 链接
保罗·盖纳;恩斯特·莫里茨·哈恩;斯文·舍韦

参数化和可重构马尔可夫链的增量验证。 （英语） 兹比尔1514.68133

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 140-156 (2018).
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Gainer｝等人，Lect。注释计算。科学。11024，140-156（2018；Zbl 1514.68133）
全文： 内政部 arXiv公司 链接
斯文·舍韦;亚历山大·韦内特;马丁·齐默尔曼

重量均等游戏。 （英语） Zbl 1509.68105号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第36条，第17页（2018年）。
MSC公司：65年第68季度 2017年第68季度 60年第68季度 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{S.Schewe}等人，LIPIcs——莱布尼茨国际程序。通知。119，第36条，第17页（2018；Zbl 1509.68105）
全文： 内政部
舍韦，斯文（编辑）;托马斯·施耐德（编辑）;杰夫·威森（编辑）

第24届时间表征和推理国际研讨会，2017年10月16日至18日，《时代》杂志，比利时蒙斯。诉讼程序。 （英语） Zbl 1372.68021号

LIPIcs–莱布尼茨国际信息学会议录90.瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-95977-052-1）。xiv，23篇文章，非连续页面，仅电子版，开放存取（2017年）。
MSC公司：68-06 03B44号 60年第68季度 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{S.Schewe}（ed.）等人，第24届时间表征与推理国际研讨会，2017年《时代》杂志，比利时蒙斯，2017年10月16-18日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2017；Zbl 1372.68021）
全文： 内政部 链接
恩斯特·莫里茨·哈恩;斯文·舍韦;安德烈亚·图里尼;张丽君

求解定性概率奇偶博弈的简单算法。 （英语） Zbl 1411.68068号

Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。第28届国际会议，CAV 2016，加拿大安大略省多伦多，2016年7月17日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。9780, 291-311 (2016).
MSC公司：60年第68季度 68瓦40 91年43月
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Hahn}等人，Lect。注释计算。科学。9780、291--311（2016；Zbl 1411.68068）
全文： 内政部
恩斯特·莫里茨·哈恩;李广元;斯文·舍韦;安德烈亚·图里尼;张丽君

没有确定的惰性概率模型检查。 （英语） 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 1381.68167号

Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。第19届国际会议，TACAS 2013，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2013，2013年3月16日至24日，意大利罗马。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795154-168（2013）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.-H.Huang}等人，Lect。注释计算。科学。7795，154--168（2013；Zbl 1381.68167）
全文： 内政部
Nathalie Bertrand;约翰·费恩利;斯文·舍韦

PCTL的有界可满足性。 （英语） Zbl 1252.68189号

Cégielski，Patrick（编辑）等人，《计算机科学逻辑》（CSL’12）。2012年9月3日至6日，在法国枫丹白露举行的第21届EACSL年会第26届国际研讨会。根据会议上的陈述选择论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-42-2）。LIPIcs–莱布尼茨国际信息学会议录16，92-106，仅电子版（2012年）。
MSC公司：60年第68季度 03B44号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{N.Bertrand}等人，LIPIcs——莱布尼茨国际程序。通知。16、92——106（2012；Zbl 1252.68189）
全文： 内政部 arXiv公司
约翰·费恩利;多龙·贝利德;舍韦，斯文

简洁系统的合成。 （英语） 兹比尔1374.68282

Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561208-222（2012）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Fearnley}等人，Lect。注释计算。科学。7561208-222（2012年；Zbl 1374.68282）
全文： 内政部 arXiv公司
多龙·贝利德;舍韦，斯文

实用分布式控制综合。 （英语） Zbl 1457.68168号

Yu，Fang（编辑）等，第十三届无限状态系统验证国际研讨会，台湾台北，2011年10月10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）73，2-17（2011）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Peled}和\textit{S.Schewe}，电子。程序。西奥。计算。科学。（EPTCS）73，2--17（2011；Zbl 1457.68168）
全文： arXiv公司 链接
约翰·费恩利;马库斯·拉贝;斯文·舍韦;张丽君

连续时间Markov对策最优控制的有效逼近。 （英语） Zbl 1246.68165号

Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，399-410，仅电子版（2011年）。
MSC公司：87年第68季度 91A15型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Fearnley}等人，LIPIcs——莱布尼茨国际程序。通知。13、399--410（2011；Zbl 1246.68165）
全文： 内政部 arXiv公司
加尔·卡茨;多龙·贝利德;斯文·舍韦

责任到此为止：分布式控制中的顺序、机会和协调。 （英语） Zbl 1348.68165号

Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996，422-431（2011）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Katz}等人，Lect。注释计算。科学。6996、422--431（2011年；Zbl 1348.68165）
全文： 内政部
斯文·舍韦

从平价和支付游戏到线性规划。 （英语） Zbl 1250.68131号

Královič，Rastislav（编辑）等人，2009年计算机科学数学基础。2009年8月24-28日，斯洛伐克High Tatras，Novy Smokovec，第34届国际研讨会，MFCS 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03815-0/pbk）。计算机科学课堂讲稿5734675-686（2009）。
MSC公司：65年第68季度 60年第68季度 90C05（二氧化碳） 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{S.Schewe}，莱克特。注释计算。科学。5734、675--686（2009年；Zbl 1250.68131）
全文： 内政部
斯文·舍韦

确定Büchi自动机的更严格界限。 （英语） Zbl 1234.68239号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504167-181（2009）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Schewe}，莱克特。注释计算。科学。5504167--181（2009年；Zbl 1234.68239）
全文： 内政部
斯文·舍韦

求解平价和支付博弈的最优策略改进算法。 （英语） Zbl 1156.68478号

卡明斯基，迈克尔（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，369-384（2008）。
MSC公司：60年第68季度 91年43月
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。5213、369--384（2008年；Zbl 1156.68478）
全文： 内政部
斯文·舍韦

ATL\（^*\）可满足性是2EXPTIME完成的。 （英语） Zbl 1155.68447号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。《计算机科学讲义》5126，373-385（2008）。
MSC公司：60年第68季度 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Schewe}，莱克特。注释计算。科学。5126373-385（2008年；Zbl 1155.68447）
全文： 内政部
斯文·舍韦;伯恩德·芬克贝纳

有限合成。 （英语） Zbl 1141.68491号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762474-488（2007）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Schewe}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。4762、474--488（2007年；Zbl 1141.68491）
全文： 内政部
斯文·舍韦;伯恩德·芬克贝纳

交替时间逻辑的分布式综合。 （英语） Zbl 1141.68516号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762268-283（2007）。
MSC公司：68问题85 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Schewe｝和\textit｛B.Finkbeiner｝，Lect。注释计算。科学。4762、268--283（2007年；Zbl 1141.68516）
全文： 内政部
斯文·舍韦

逐步解决平价博弈。 （英语） Zbl 1135.68480号

Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855449-460（2007）。
MSC公司：60年第68季度 65年第68季度 91A80
PDF格式BibTeX公司 XML格式引用
\textit{S.Schewe}，莱克特。注释计算。科学。4855、449--460（2007年；Zbl 1135.68480）
全文： 内政部
斯文·舍韦;伯恩德·芬克贝纳

异步系统的合成。 （英语） Zbl 1196.68142号

Puebla，Germanán（编辑），基于逻辑的程序合成和转换。2006年7月12日至14日在意大利威尼斯举行的2006年LOPSTR第16届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-71409-5/pbk）。计算机科学课堂讲稿4407127-142（2007）。
MSC公司：60年第68季度 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Schewe}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。4407、127--142（2007年；Zbl 1196.68142）
全文： 内政部
斯文·舍韦;伯恩芬克拜纳

交替时间演算的可满足性和有限模型性质。 （英语） Zbl 1225.68124号

埃西克，佐尔坦（编辑），《计算机科学逻辑》。2006年9月25日至29日在匈牙利塞格德举行的第20届CSL国际研讨会，第15届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45458-8/pbk）。计算机科学课堂讲稿4207，591-605（2006）。
MSC公司：60年第68季度 03B25号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{S.Schewe}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。4207、591--605（2006；Zbl 1225.68124）
全文： 内政部
伯恩德·芬克贝纳;斯文·舍韦;马蒂亚斯·布里尔

自动合成合成模型检查的假设。 （英语） Zbl 1225.68115号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229143-158（2006）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}等人，Lect。注释计算。科学。4229143-158（2006年；Zbl 1225.68115）
全文： 内政部
斯文·舍韦

概率环境综合。 （英语） Zbl 1161.68582号

Graf，Susanne（编辑）等人，《验证和分析自动化技术》。2006年10月23日至26日，第四届国际研讨会，ATVA 2006，中国北京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-47237-7/pbk）。计算机科学课堂讲稿4218，245-259（2006）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。4218、245--259（2006年；Zbl 1161.68582）
全文： 内政部
马尔特·赫尔默特;罗伯特·马特米勒;斯文·舍韦

解决弱博弈的选择性方法。 （英语） Zbl 1161.68569号

Graf，Susanne（编辑）等人，《验证和分析自动化技术》。2006年10月23日至26日，第四届国际研讨会，ATVA 2006，中国北京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-47237-7/pbk）。计算机科学课堂讲稿4218，200-214（2006）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Helmert}等人，Lect。注释计算。科学。4218，200--214（2006；Zbl 1161.68569）
全文： 内政部
伯恩德·芬克贝纳;斯文·舍韦

半自动分布式合成。 （英语） Zbl 1170.68539号

Peled，Doron A.（编辑）等人，《验证和分析自动化技术》。2005年10月4日至7日，第三届国际研讨会，ATVA 2005，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29209-8/pbk）。计算机科学课堂讲稿3707，263-277（2005）。
MSC公司：68问题85 65年第68季度 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}和\textit{S.Schewe}，Lect。注释计算。科学。3707263-277（2005年；Zbl 1170.68539）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件