Conference paper
Modeling polarization for Hyper-NA lithography tools and masks
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007
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.
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007
Leo Liberti, James Ostrowski
Journal of Global Optimization
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
D.S. Turaga, K. Ratakonda, et al.
SCC 2006