关注
Alexander Bork
标题
引用次数
引用次数
年份
Verification of indefinite-horizon POMDPs
A Bork, S Junges, JP Katoen, T Quatmann
Automated Technology for Verification and Analysis: 18th International …, 2020
312020
Under-approximating expected total rewards in POMDPs
A Bork, JP Katoen, T Quatmann
International Conference on Tools and Algorithms for the Construction and …, 2022
192022
Search and explore: symbiotic policy synthesis in POMDPs
R Andriushchenko, A Bork, M Češka, S Junges, JP Katoen, F Macák
International Conference on Computer Aided Verification, 113-135, 2023
82023
Tools at the frontiers of quantitative verification: QComp 2023 competition report
R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ...
42024
Learning Explainable and Better Performing Representations of POMDP Strategies
A Bork, D Chakraborty, K Grover, J Křetínský, S Mohr
International Conference on Tools and Algorithms for the Construction and …, 2024
32024
Analysing Dynamic Fault Trees by GSPNs
AN Bork
RWTH Aachen University, 2018
2018
系统目前无法执行此操作，请稍后再试。
文章 1–6
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交