Juliann Opitz, Robert D. Allen, et al.
Microlithography 1998
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
Hans Becker, Frank Schmidt, et al.
Photomask and Next-Generation Lithography Mask Technology 2004
Mario Blaum, John L. Fan, et al.
IEEE International Symposium on Information Theory - Proceedings
R.B. Morris, Y. Tsuji, et al.
International Journal for Numerical Methods in Engineering