Ziv Bar-Yossef, T.S. Jayram, et al.
Journal of Computer and System Sciences
Paper
A probabilistic PDL
Abstract
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.
Related
Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997
M. Shub, B. Weiss
Ergodic Theory and Dynamical Systems
Salvatore Certo, Anh Pham, et al.
Quantum Machine Intelligence