Publication
Journal of Computer and System Sciences
Paper

A probabilistic PDL

View publication

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.

Date

Publication

Journal of Computer and System Sciences

Authors

Topics

Share