Michael E. Henderson
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
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
Shashanka Ubaru, Lior Horesh, et al.
Journal of Biomedical Informatics
Yixiong Chen, Weichuan Fang
Engineering Analysis with Boundary Elements
Yi Zhou, Parikshit Ram, et al.
ICLR 2023