M. Shub, B. Weiss
Ergodic Theory and Dynamical Systems
In this paper we give a probabilistic analog PPDL of Propositional Dynamic Logic. We prove a small model property and give a polynomial space decision procedure for formulas involving well-structured programs. We also give a deductive calculus and illustrate its use by calculating the expected running time of a simple random walk. © 1985.
M. Shub, B. Weiss
Ergodic Theory and Dynamical Systems
Tong Zhang, G.H. Golub, et al.
Linear Algebra and Its Applications
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
R.B. Morris, Y. Tsuji, et al.
International Journal for Numerical Methods in Engineering