APSI Case# 1 : pre-planning science operations in Mars Express
暂无分享,去创建一个
[1] Amedeo Cesta,et al. An Innovative Product for Space Mission Planning: An A Posteriori Evaluation , 2007, ICAPS.
[2] Jeremy Frank,et al. Constraint-Based Attribute and Interval Planning , 2003, Constraints.
[3] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[4] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[5] Amedeo Cesta,et al. A multi-component framework for planning and scheduling integration , 2007 .
[6] Amedeo Cesta,et al. RAXEM – A Support Tool to Plan Uplink Activities for MARS EXPRESS , 2007 .
[7] Nicola Muscettola,et al. Planning in Interplanetary Space: Theory and Practice , 2000, AIPS.
[8] Simone Fratini,et al. The Integration of Planning into Scheduling with OMP , 2005 .