Sum-product laws and efficient algorithms for imprecise Markov chains
暂无分享,去创建一个
[1] Matthias C. M. Troffaes,et al. Model checking for imprecise Markov chains. , 2013 .
[2] Damjan Skulj,et al. Discrete time Markov chains with interval probabilities , 2009, Int. J. Approx. Reason..
[3] Joost-Pieter Katoen,et al. Three-valued abstraction for probabilistic systems , 2012, J. Log. Algebraic Methods Program..
[4] Jasper De Bock,et al. Hitting Times and Probabilities for Imprecise Markov Chains , 2019, ISIPTA.
[5] Gert de Cooman,et al. A Recursive Algorithm for Computing Inferences in Imprecise Markov Chains , 2019, ECSQARU.
[6] Christel Baier,et al. Principles of model checking , 2008 .
[7] Sheldon M. Ross,et al. Stochastic Processes , 2018, Gauge Integral Structures for Stochastic Calculus and Quantum Electrodynamics.
[8] Fábio Gagliardi Cozman. Sets of probability distributions, independence, and convexity , 2011, Synthese.
[9] Jasper De Bock,et al. Average behaviour in discrete-time imprecise Markov chains: A study of weak ergodicity , 2021, Int. J. Approx. Reason..
[10] A. Shwartz,et al. Handbook of Markov decision processes : methods and applications , 2002 .
[11] Gert de Cooman,et al. Imprecise probability trees: Bridging two theories of imprecise probability , 2008, Artif. Intell..