×

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

最新的 引文 关联
亚历山德罗·阿尔迪尼;Gianluca Curzi;格拉齐亚尼，皮耶路易吉;米尔科·塔利亚费里

信任证据逻辑。 （英语） Zbl 07542369号

Vejnarová，Jiřina（编辑）等人，用符号和定量方法进行不确定性推理。第16届欧洲会议，ECSQARU 2021，捷克共和国布拉格，2021年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12897, 575-589 (2021).
MSC公司：68层37
PDF格式BibTeX公司 XML格式引用
\textit{A.Aldini}等人，Lect。注释计算。科学。12897、575--589（2021；Zbl 07542369）
全文： 内政部
约翰·费恩利;马丁·盖林;马蒂亚斯·姆尼奇;拉胡尔·萨瓦尼

可达性切换游戏。 （英语） 兹比尔1499.68200

日志。方法计算。科学。 17，第2号，第10号论文，29页（2021年）.
MSC公司：60年第68季度 60J20型 2009年第68季度 2010年第68季度 2017年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Fearnley}等人，Log。方法计算。科学。17，第2号，第10号论文，第29页（2021年；Zbl 1499.68200）
全文： arXiv公司 链接
佛罗伦萨德尔格兰奇;Joost Pieter卡托恩;蒂姆·夸特曼;米凯尔·兰多尔

多目标MDP中的简单策略。 （英语） Zbl 1507.68183号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 346-364 (2020).
MSC公司：60年第68季度 2017年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Delgrange}等人，Lect。注释计算。科学。12078，346--364（2020；Zbl 1507.68183）
全文： 内政部 arXiv公司
OA许可证
弗洛里安·芬克;西蒙·扬奇;克里斯特尔·拜尔

概率可达性约束的Farkas证书和最小见证人。 （英语） Zbl 1507.68187号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 324-345 (2020).
MSC公司：60年第68季度 2017年第68季度 68问题85 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Funke}等人，Lect。注释计算。科学。12078，324--345（2020；Zbl 1507.68187）
全文： 内政部 arXiv公司
OA许可证
约翰·费恩利;马丁·盖林;马蒂亚斯·姆尼奇;拉胡尔·萨瓦尼

切换游戏的可达性。 （英语） Zbl 1499.68201号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第124条，第14页（2018年）。
MSC公司：60年第68季度 60J20型 2009年第68季度 2010年第68季度 2017年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Fearnley}等人，LIPIcs——莱布尼茨国际程序。通知。107，第124条，第14页（2018；Zbl 1499.68201）
全文： 内政部
克里希南德·查特吉;马丁·奇梅利克;马修·特雷科尔

具有（ω）正则目标的部分可观测马尔可夫决策过程的可判定性。 （英语） 兹比尔1338.68166

J.计算。系统。科学。 82，No.5，878-911（2016）.
MSC公司：60年第68季度 2017年第68季度 65年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，J.Compute。系统。科学。82，No.5，878--911（2016；Zbl 1338.68166）
全文： 内政部 arXiv公司
克里希南德·查特吉;劳伦特·多恩;莫舍·瓦尔迪。

概率成分合成的复杂性。 （英语） Zbl 1440.68045号

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135, 108-120 (2015).
MSC公司：68号30 2017年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。9135108-120（2015；Zbl 1440.68045）
全文： 内政部 arXiv公司
马尔钦·尤季扬斯基;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪

秘密定价的概率时间自动机。 （英语） Zbl 1254.68136号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，415-430（2009）。
MSC公司：65年第68季度 2017年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Jurdziñski}等人，莱克特。注释计算。科学。5710415--430（2009年；Zbl 1254.68136）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件