×
作者ID: 温克勒·托比亚斯“Winkler,Tobias”最近发表的zbMATH文章
发布日期: 托比亚斯·温克勒
已编制索引的文档: 10出版物自2019年起,包括1个附加arXiv预打印
合著者: 16位合著者具有10联合出版物
377位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

6出版物有被引用24中的次23文件 引用人 年份
参数马尔可夫决策过程中可达性的复杂性。 Zbl 1477.68124号
塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;吉列尔莫·A·佩雷斯。;托比亚斯·温克勒
11
2021
广义可达性随机对策的近似值。 Zbl 1455.91035号
普拉纳夫·阿肖克;克里希南德·查特吉;简·Křetínsk;马克西米利安·威宁格;托比亚斯·温克勒
6
2020
具有词典可达性-安全目标的随机博弈。 Zbl 1478.68151号
克里希南德·查特吉;Joost-Pieter卡托恩;马克西米利安·威宁格;托比亚斯·温克勒
4
2020
参数马尔可夫决策过程可达性的复杂性。 Zbl 07649922号
托比亚斯·温克勒;塞巴斯蒂安·荣格斯;吉列尔莫·A·佩雷斯。;Joost-Pieter卡托恩
1
2019
概率程序的生成函数。 Zbl 07496650号
卢茨·克林肯伯格;凯文·巴茨;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;约书亚·莫尔曼;托比亚斯·温克勒
1
2021
递归概率程序的模型检查时间属性。 Zbl 07793042号
托比亚斯·温克勒;克里斯蒂娜·格南;Joost-Pieter卡托恩
1
2022
递归概率程序的模型检查时间属性。 Zbl 07793042号
托比亚斯·温克勒;克里斯蒂娜·格南;Joost-Pieter卡托恩
1
2022
参数马尔可夫决策过程中可达性的复杂性。 Zbl 1477.68124号
塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;吉列尔莫·A·佩雷斯。;托比亚斯·温克勒
11
2021
概率程序的生成函数。 Zbl 07496650号
卢茨·克林肯伯格;凯文·巴茨;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;约书亚·莫尔曼;托比亚斯·温克勒
1
2021
广义可达随机对策的近似值。 Zbl 1455.91035号
普拉纳夫·阿肖克;克里希南德·查特吉;简·Křetínsk;马克西米利安·威宁格;托比亚斯·温克勒
6
2020
具有词典可达性-安全目标的随机博弈。 Zbl 1478.68151号
克里希南德·查特吉;Joost-Pieter卡托恩;马克西米利安·威宁格;托比亚斯·温克勒
4
2020
参数马尔可夫决策过程可达性的复杂性。 Zbl 07649922号
托比亚斯·温克勒;塞巴斯蒂安·荣格斯;吉列尔莫·A·佩雷斯。;Joost-Pieter卡托恩
1
2019

按年份列出的引文