Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs.
SETTA(2017)
关键词
Interval Markov Decision Processes (IMDPs), Exact Transition Probabilities, Compositional Reasoning, Probabilistic Computation Tree Logic (PCTL), Interval Markov Chains (IMCs)
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络