TY  - RPRT
TI  - Using Model Checking to Validate AI Planner Domain Models
AU  - Penix, John
AU  - Pecheur, Charles
AU  - Havelund, Klaus
PY  - 1999
UR  - https://ntrs.nasa.gov/citations/19990054671
ID  - 19990054671
ER  -