Frank R. Libsch, Takatoshi Tsujimura
Active Matrix Liquid Crystal Displays Technology and Applications 1997
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
John A. Hoffnagle, William D. Hinsberg, et al.
Microlithography 2003
Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics
A.R. Conn, Nick Gould, et al.
Mathematics of Computation