Fox, M., Long, D., Bradley, S., & McKinna, J. (2001, December). Using Model Checking for Pre-Planning Analysis. Presented at AAAI Symposium on Model-based Validation of Intelligence