Outputs (1)

Using Model Checking for Pre-Planning Analysis (2001)
Presentation / Conference Contribution
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