编辑配置文件(在新选项卡中打开) Forejt,Vojtěch公司 合著者距离 作者ID: forejt.vojtech公司 发布日期: Forejt,Vojtěch公司;Forejt、Vojtech 已编制索引的文档: 34出版物自2006年起 合著者: 28位合著者具有34联合出版物 779合著者 全部的 前5名合著者 0 单作者的 14 托马斯·布拉兹迪尔 12 Marta Z.Kwiatkowska。 10 安东尼·库塞拉 6 陈、陶璐 6 西马提斯,艾斯蒂斯 5 瓦茨拉夫·布罗泽克 5 克里希南德·查特吉 4 简·克查尔 4 简·Křetínsk 4 阿舒托什·特里维迪 三 彼得·扬查尔 三 斯特凡·基弗 三 格钦·诺曼 三 詹姆斯·沃雷尔。 2 诺沃顿,皮特 2 马特乌斯·乌玛 1 拉杰夫·阿鲁尔 1 克里斯特尔·拜尔 1 帕特里夏·鲍耶 1 罗曼·布伦吉尔 1 马丁·奇梅利克 1 卢卡·德·阿尔法罗 1 克劳斯·阿格博士 1 萨拉尔·莫拉里夫 1 曲洪阳 1 米歇尔·乌梅尔斯 1 克莱门斯·威尔奇 1 多米尼克·沃伊特扎克 系列 三 信息与计算 三 计算机科学中的逻辑方法 2 计算机与系统科学杂志 1 理论计算机科学 1 系统设计中的形式化方法 全部的 前5名领域 29 计算机科学(68至XX) 19 博弈论、经济学、金融和其他社会和行为科学(91-XX) 8 运筹学、数学规划(90-XX) 7 数学逻辑和基础(03-XX) 5 系统论;控制(93至XX) 1 概率论与随机过程(60-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用229中的次150文件 引用人▼ 年份▼ 概率系统的定量多目标验证。 Zbl 1315.68177号 Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 41 2011 使用学习算法验证马尔可夫决策过程。 Zbl 1448.68290号 托马斯·布拉兹迪尔;克里希南德·查特吉;马丁·奇梅利克;Forejt,Vojtěch公司;简·Křetínsk;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 26 2014 竞争随机系统的自动验证。 Zbl 1291.68252号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 17 2013 模型检查概率系统。 Zbl 1392.68227号 克里斯特尔·拜尔;卢卡·德·阿尔法罗;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡 15 2018 关于多目标随机博弈。 兹比尔1400.91040 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;西马提斯,艾斯蒂斯;克莱门斯·威尔奇 15 2013 具有多个长期平均目标的马尔可夫决策过程。 Zbl 1326.90101号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;克里希南德·查特吉;Forejt,Vojtěch公司;安东·库切拉 13 2014 概率模型检查的Pareto曲线。 Zbl 1374.68285号 Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克 12 2012 递归马尔可夫决策过程中的可达性。 Zbl 1145.91011号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;Forejt,Vojtěch公司;安东·库切拉 12 2008 PRISM-games:随机多层游戏的模型检查器。 Zbl 1381.68151号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 10 2013 具有定性分支时间目标的马尔可夫决策过程的控制器综合与验证。 Zbl 1155.68427号 托马斯·布拉兹迪尔;Forejt,Vojtěch公司;安东·库切拉 9 2008 图和MDP中的多目标折扣奖励验证。 Zbl 1406.68051号 克里希南德·查特吉;Forejt,Vojtěch公司;多米尼克·沃伊特扎克 6 2013 马尔可夫决策过程稳定性的交易性能。 Zbl 1359.90147号 托马斯·布拉兹迪尔;克里希南德·查特吉;Forejt,Vojtěch公司;安东·库切拉 6 2017 概率系统的允许控制器综合。 Zbl 1391.68076号 克劳斯·阿格博士;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 5 2015 具有时限可达性的连续时间随机对策。 Zbl 1264.91016号 托马斯·布拉兹迪尔;Forejt,Vojtěch公司;简·克查尔;简·Křetínsk;安东·库切拉 4 2013 概率下推自动机的语言等价性。 兹比尔1360.68556 Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 4 2014 马尔可夫决策过程稳定性的交易性能。 Zbl 1366.68087号 托马斯·布拉兹迪尔;克里希南德·查特吉;Forejt,Vojtěch公司;安东·库切拉 4 2013 精确地玩随机游戏。 兹比尔1364.91024 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;西马提斯,艾斯蒂斯;阿舒托什·特里维迪;米歇尔·乌梅尔斯 三 2012 预期可达性-时间游戏。 Zbl 1290.68073号 Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 三 2010 概率下推自动机的分支时间模型检验。 Zbl 1347.68220号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;Forejt,Vojtěch公司 三 2009 具有时限可达性的连续时间随机对策。 Zbl 1250.91015号 托马斯·布拉兹迪尔;Forejt、Vojtech;简·克查尔;简·Křetínsk;安东尼·库切拉 2 2009 竞争随机系统的自动验证。 Zbl 1352.68150号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 2 2012 概率下推自动机的分支时间模型检验。 兹比尔1311.68084 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;Forejt,Vojtěch公司;安东·库切拉 2 2014 随机时间博弈中的可达性。 兹比尔1248.91014 帕特里夏·鲍耶;Forejt,Vojtěch公司 2 2009 马尔可夫决策过程和分支时间逻辑的策略综合。 Zbl 1151.68472号 托马斯·布拉兹迪尔;Forejt,Vojtěch公司 2 2007 图和游戏的稳定性。 Zbl 1392.68213号 托马斯·布拉兹迪尔;Forejt,Vojtěch公司;安东·库切拉;诺沃顿,皮特 2 2016 预期可达性-时间游戏。 Zbl 1339.68146号 Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 2 2016 概率下推自动机的双相似性。 Zbl 1354.68152号 Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 2 2012 概率双相似度的博弈特征及其在下推自动机中的应用。 Zbl 1407.68252号 Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 2 2018 递归马尔可夫决策过程中的可达性。 兹比尔1151.68509 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;Forejt,Vojtěch公司;安东·库切拉 1 2006 偿付能力马尔可夫决策过程。 Zbl 1360.91091号 托马斯·布拉兹迪尔;陈、陶璐;Forejt,Vojtěch公司;诺沃顿,皮特;西马提斯,艾斯蒂斯 1 2013 有界速率多模系统的安全可调度性。 Zbl 1361.93019号 拉杰夫·阿鲁尔;Forejt,Vojtěch公司;萨拉尔·莫拉里夫;阿舒托什·特里维迪 1 2013 模型检查概率系统。 Zbl 1392.68227号 克里斯特尔·拜尔;卢卡·德·阿尔法罗;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡 15 2018 概率双相似度的博弈特征及其在下推自动机中的应用。 Zbl 1407.68252号 Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 2 2018 马尔可夫决策过程稳定性的交易性能。 Zbl 1359.90147号 托马斯·布拉兹迪尔;克里希南德·查特吉;Forejt,Vojtěch公司;安东·库切拉 6 2017 图和游戏的稳定性。 Zbl 1392.68213号 托马斯·布拉兹迪尔;Forejt,Vojtěch公司;安东·库切拉;诺沃顿,皮特 2 2016 预期可达性-时间游戏。 Zbl 1339.68146号 Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 2 2016 概率系统的允许控制器综合。 Zbl 1391.68076号 克劳斯·阿格博士;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 5 2015 使用学习算法验证马尔可夫决策过程。 Zbl 1448.68290号 托马斯·布拉兹迪尔;克里希南德·查特吉;马丁·奇梅利克;Forejt,Vojtěch公司;简·Křetínsk;玛尔塔·奎亚特科夫斯卡;大卫·帕克;马特乌斯·乌玛 26 2014 具有多个长期平均目标的马尔可夫决策过程。 Zbl 1326.90101号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;克里希南德·查特吉;Forejt,Vojtěch公司;安东·库切拉 13 2014 概率下推自动机的语言等价性。 兹比尔1360.68556 Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 4 2014 概率下推自动机的分支时间模型检验。 兹比尔1311.68084 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;Forejt,Vojtěch公司;安东·库切拉 2 2014 竞争随机系统的自动验证。 Zbl 1291.68252号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 17 2013 关于多目标随机博弈。 兹比尔1400.91040 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;西马提斯,艾斯蒂斯;克莱门斯·威尔奇 15 2013 PRISM-games:随机多层游戏的模型检查器。 Zbl 1381.68151号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 10 2013 图和MDP中的多目标折扣奖励验证。 Zbl 1406.68051号 克里希南德·查特吉;Forejt,Vojtěch公司;多米尼克·沃伊特扎克 6 2013 具有时限可达性的连续时间随机对策。 Zbl 1264.91016号 托马斯·布拉兹迪尔;Forejt,Vojtěch公司;简·克查尔;简·Křetínsk;安东·库切拉 4 2013 马尔可夫决策过程稳定性的交易性能。 Zbl 1366.68087号 托马斯·布拉兹迪尔;克里希南德·查特吉;Forejt,Vojtěch公司;安东·库切拉 4 2013 偿付能力马尔可夫决策过程。 Zbl 1360.91091号 托马斯·布拉兹迪尔;陈、陶璐;Forejt,Vojtěch公司;诺沃顿,皮特;西马提斯,艾斯蒂斯 1 2013 有界速率多模系统的安全可调度性。 Zbl 1361.93019号 拉杰夫·阿鲁尔;Forejt,Vojtěch公司;萨拉尔·莫拉里夫;阿舒托什·特里维迪 1 2013 概率模型检查的Pareto曲线。 Zbl 1374.68285号 Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克 12 2012 精确地玩随机游戏。 兹比尔1364.91024 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;西马提斯,艾斯蒂斯;阿舒托什·特里维迪;米歇尔·乌梅尔斯 三 2012 竞争随机系统的自动验证。 Zbl 1352.68150号 陈、陶璐;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克;西马提斯,艾斯蒂斯 2 2012 概率下推自动机的双相似性。 Zbl 1354.68152号 Forejt,Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔 2 2012 概率系统的定量多目标验证。 Zbl 1315.68177号 Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 41 2011 预期可达性-时间游戏。 Zbl 1290.68073号 Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 三 2010 概率下推自动机的分支时间模型检验。 Zbl 1347.68220号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;Forejt,Vojtěch公司 三 2009 具有时限可达性的连续时间随机对策。 Zbl 1250.91015号 托马斯·布拉兹迪尔;Forejt、Vojtech;简·克查尔;简·Křetínsk;安东尼·库切拉 2 2009 随机时间博弈中的可达性。 兹比尔1248.91014 帕特里夏·鲍耶;Forejt,Vojtěch公司 2 2009 递归马尔可夫决策过程中的可达性。 Zbl 1145.91011号 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;Forejt,Vojtěch公司;安东·库切拉 12 2008 具有定性分支时间目标的马尔可夫决策过程的控制器综合与验证。 Zbl 1155.68427号 托马斯·布拉兹迪尔;Forejt,Vojtěch公司;安东·库切拉 9 2008 马尔可夫决策过程和分支时间逻辑的策略综合。 Zbl 1151.68472号 托马斯·布拉兹迪尔;Forejt,Vojtěch公司 2 2007 递归马尔可夫决策过程中的可达性。 兹比尔1151.68509 托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;Forejt,Vojtěch公司;安东·库切拉 1 2006 所有引用出版物 前5名被引用出版物 全部的 前5名293位作者引用 14 塞巴斯蒂安·荣格斯 14 Joost-Pieter卡托恩 12 Marta Z.Kwiatkowska。 11 安东尼·库塞拉 10 简·Křetínsk 9 克里希南德·查特吉 9 Forejt,Vojtěch公司 8 托马斯·布拉兹迪尔 8 格钦·诺曼 8 米凯尔·兰多尔 6 克里斯特尔·拜尔 6 库沙·埃特萨米 5 瓦茨拉夫·布罗泽克 5 尼尔斯·詹森 5 Jean-François拉斯金 5 斯文·舍韦 5 杰里米·斯普洛斯顿 5 米哈利斯·亚纳卡基斯 4 蒂姆·夸特曼 4 阿利斯泰尔·斯图尔特 4 马克西米利安·威宁格 4 多米尼克·沃伊特扎克 三 亚历山德罗·阿巴特 三 托马斯·布里海耶 三 陈、陶璐 三 米罗斯拉夫·乔迪尔 三 佛罗伦萨德尔格兰奇 三 克莱门斯,杜布拉夫 三 阿恩·哈特曼斯 三 彼得·扬查尔 三 斯特凡·基弗 三 本杰明·蒙梅格 三 尤索夫·乌阿尔哈德 三 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 三 桑吉特·阿伦库马尔·塞希亚 三 亚历山大·斯利文斯基 三 拼写,Jip 三 张丽君 2 罗德里克·布洛姆 2 帕特里夏·鲍耶 2 科什卡,米兰 2 佩德罗·鲁宾·达吉尼奥 2 谢尔盖,哈达德 2 恩斯特·莫里茨·哈恩 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 拉斯穆斯·易卜森·延森 2 沃伊切赫·贾姆罗加 2 芭芭拉·乔布斯曼 2 约阿希姆·克莱因 2 克吕佩尔霍尔茨,萨沙 2 丹尼尔·科宁 2 奥尔纳·库普弗曼 2 曲洪阳 2 伊曼纽尔·拉姆尼安图 2 西马提斯,艾斯蒂斯 2 乌富克托普库 2 阿舒托什·特里维迪 2 纱线维纳 2 詹姆斯·沃雷尔。 2 萨沙·旺德利希 1 查塔尼亚·阿加瓦尔 1 艾切尔尼格,伯恩哈德·K。 1 亚历山德罗·阿尔迪尼 1 伊斯梅尔·阿尔胡里 1 拉杰夫·阿鲁尔 1 罗马人Andriushchenko 1 扎鲁希·阿斯兰扬 1 朱塞佩·阿特尼塞 1 乔治·K·阿蒂亚。 1 大卫·奥格 1 穆克西特·阿齐姆 1 巴奇(Edoardo Bacci) 1 克里斯蒂娜·贝克尔 1 Shirin Baghoolizadeh 1 苏古曼·班萨尔 1 David A.Basin。 1 尼古拉斯·巴塞特 1 奥斯伯特·巴斯塔尼 1 马修·史蒂文·鲍尔 1 贝恩德·贝克尔 1 图菲克·贝努希巴 1 Marcelo Maria贝尔萨尼 1 乌迪·博克 1 布雷丁,贝蒂娜 1 维罗尼克·布鲁埃 1 彼得·布霍尔茨 1 达米安·巴斯托·加斯顿 1 纪尧姆酒廊 1 巴勃罗·卡斯特罗。 1 罗希特·查达 1 查克拉波蒂,德布拉吉 1 陈洪凯 1 陈明帅 1 洛伦佐·克莱门特 1 皮埃尔·库切尼 1 克雷默斯,Cas J.F。 1 穆拉特·库布克特佩 1 Gianluca Curzi 1 Daca,Przemysław公司 1 乌戈·达尔拉戈 …还有193多名作者 全部的 前5名28篇连载文章中引用 10 信息与计算 8 系统设计中的形式化方法 7 理论计算机科学 7 计算机科学中的逻辑方法 5 计算机与系统科学杂志 5 计算的形式方面 三 信息学报 三 人工智能 三 计算机基础理论 2 Automatica公司 2 自动推理杂志 2 运筹学的数学方法 1 运筹学数学 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 机器学习 1 全球优化杂志 1 离散事件动态系统 1 逻辑、语言与信息杂志 1 数学科学杂志(纽约) 1 人工智能研究杂志 1 工程中的数学问题 1 欧洲控制杂志 1 美国计算机学会期刊 1 机器学习研究杂志(JMLR) 1 ACM计算逻辑汇刊 1 优化信函 1 程序设计中的逻辑和代数方法杂志 全部的 前5名10个领域引用 130 计算机科学(68至XX) 35 运筹学、数学规划(90-XX) 33 博弈论、经济学、金融和其他社会和行为科学(91-XX) 17 数学逻辑和基础(03-XX) 13 概率论与随机过程(60-XX) 12 系统论;控制(93至XX) 4 信息与通信理论、电路(94-XX) 三 组合数学(05-XX) 1 数值分析(65-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文