Planning in Interplanetary Space: Theory and Practice. AK Jónsson, PH Morris, N Muscettola, K Rajan, BD Smith AIPS, 177-186, 2000 | 449 | 2000 |
Bridging the gap between planning and scheduling DE Smith, J Frank, AK Jónsson The Knowledge Engineering Review 15 (1), 47-83, 2000 | 436 | 2000 |
Constraint-based attribute and interval planning J Frank, A Jónsson Constraints 8, 339-364, 2003 | 356 | 2003 |
Planning and scheduling for fleets of earth observing satellites J Frank, A Jonsson, R Morris, DE Smith, P Norvig International Symposium on Artificial Intelligence, Robotics, Automation and …, 2001 | 280 | 2001 |
Mapgen: mixed-initiative planning and scheduling for the mars exploration rover mission M Ai-Chang, J Bresina, L Charest, A Chase, JCJ Hsu, A Jonsson, ... IEEE Intelligent Systems 19 (1), 8-12, 2004 | 262 | 2004 |
Activity Planning for the Mars Exploration Rovers. JL Bresina, AK Jónsson, PH Morris, K Rajan ICAPS 2005, 40-49, 2005 | 216 | 2005 |
Aspen-automated planning and scheduling for space mission operations S Chien, G Rabideau, R Knight, R Sherwood, B Engelhardt, D Mutz, ... Space Ops 82, 2000 | 135 | 2000 |
Plan execution interchange language (PLEXIL) for executable plans and command sequences V Verma, T Estlin, A Jónsson, C Pasareanu, R Simmons, K Tso International symposium on artificial intelligence, robotics and automation …, 2005 | 104 | 2005 |
Universal-executive and PLEXIL: engine and language for robust spacecraft control and operations V Verma, A Jonsson, C Pasareanu, M Iatauro Space 2006, 7449, 2006 | 69 | 2006 |
Autonomy in space: Current capabilities and future challenge A Jónsson, RA Morris, L Pedersen AI magazine 28 (4), 27-27, 2007 | 67 | 2007 |
The future of AI in space S Chien, R Doyle, AG Davies, A Jonsson, R Lorenz IEEE Intelligent Systems 21 (4), 64-69, 2006 | 59 | 2006 |
Cyclic scheduling DL Draper, AK Jonsson, DP Clements, DE Joslin IJCAI, 1016-1021, 1999 | 59 | 1999 |
System and process for job scheduling using limited discrepancy search ML Ginsberg, WD Harvey, JM Crawford, AK Jonsson, JC Pemberton US Patent 6,070,144, 2000 | 52 | 2000 |
Mixed-initiative planning in MAPGEN: Capabilities and shortcomings JL Bresina, AK Jónsson, PH Morris, K Rajan Workshop on Mixed-Initiative Planning and Scheduling, 2005 | 48 | 2005 |
Verification of autonomous systems for space applications G Brat, E Denney, D Giannakopoulou, J Frank, A Jónsson 2006 IEEE Aerospace Conference, 11 pp., 2006 | 46 | 2006 |
A framework for dynamic constraint reasoning using procedural constraints AK Jónsson, JD Frank | 42 | 1999 |
Survey of command execution systems for NASA spacecraft and robots V Verma, A Jónsson, R Simmons, T Estlin, R Levinson International Conference on Automated Planning and Scheduling 2005, 2005 | 41 | 2005 |
Advances in planning and scheduling of remote sensing instruments for fleets of earth orbiting satellites J Dungan, J Frank, A Jónsson, R Morris, D Smith Earth Science Technology Conference, 2002 | 32 | 2002 |
On reformulating planning as dynamic constraint satisfaction J Frank, AK Jónsson, P Morris International Symposium on Abstraction, Reformulation, and Approximation …, 2000 | 29 | 2000 |
Challenges in verification and validation of autonomous systems for space exploration G Brat, A Jonsson Proceedings. 2005 IEEE International Joint Conference on Neural Networks …, 2005 | 27 | 2005 |