Failure diagnosis with incomplete information in cable networks
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006
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.
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006
György E. Révész
Theoretical Computer Science
Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006
Frank R. Libsch, S.C. Lien
IBM J. Res. Dev