92
Voted
ENTCS
2007
15 years 15 days ago
2007
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...