Yao Qi, Raja Das, et al.
ISSTA 2009
This paper deals with various versions of finite propositional probabilistic dynamic logic. We present probabilistic propositional dynamic logic with simple probabilistic estimations and "almost regular" program language. Besides the logics previously introduced in the literature we present some natural variations and extensions of these logics. We investigate the (un)decidability of these logics and give a complete picture of decidability and undecidability. Some of these logics have the finite model property, and therefore, if they are undecidable, they are exactly Π10. We show that allowing nesting and probabilistic choice often leads to undecidability. © 1991.
Yao Qi, Raja Das, et al.
ISSTA 2009
Michael D. Moffitt
ICCAD 2009
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002