Amir Ali Ahmadi, Raphaël M. Jungers, et al.
SICON
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.
Amir Ali Ahmadi, Raphaël M. Jungers, et al.
SICON
W.F. Cody, H.M. Gladney, et al.
SPIE Medical Imaging 1994
Imran Nasim, Melanie Weber
SCML 2024
F.M. Schellenberg, M. Levenson, et al.
BACUS Symposium on Photomask Technology and Management 1991