Conference paper
Channel coding considerations for wireless LANs
Daniel J. Costello Jr., Pierre R. Chevillat, et al.
ISIT 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
Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
Vladimir Yanovski, Israel A. Wagner, et al.
Ann. Math. Artif. Intell.
Guo-Jun Qi, Charu Aggarwal, et al.
IEEE TPAMI