相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
Ukachukwu Ndukwu et al.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (2010)
Turing Lecture from the winners of the 2007 ACM AM Turing Award
Moshe Y. Vardi
COMMUNICATIONS OF THE ACM (2009)
Probabilistic Mobile Ambients
Marta Kwiatkowska et al.
THEORETICAL COMPUTER SCIENCE (2009)
Performance analysis of probabilistic timed automata using digital clocks
Marta Kwiatkowska et al.
FORMAL METHODS IN SYSTEM DESIGN (2006)
A sparse sampling algorithm for near-optimal planning in large Markov decision processes
M Kearns et al.
MACHINE LEARNING (2002)