Translating PDDL into CSP# - The PAT Approach

• Main Authors: Li, Y., Sun, J., Dong, J.S., Liu, Y.
• Other Authors: COMPUTER SCIENCE
• Format: Conference or Workshop Item
• Published: 2013
• Subjects: Formal Verification; Model Checking; Planning
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/43167
• Institution: National University of Singapore

10.1109/ICECCS.2012.41