2002 |
12 | | Benjamin D. Smith,
Barbara E. Engelhardt,
Darren H. Mutz:
The RADARSAT-MAMM Automated Mission Planner.
AI Magazine 23(2): 25-36 (2002) |
2001 |
11 | | Benjamin D. Smith,
Barbara E. Engelhardt,
Darren H. Mutz:
The RadarSAT-MAMM Automated Mission Planner.
IAAI 2001: 35-42 |
10 | | Martin S. Feather,
Benjamin D. Smith:
Automatic Generation of Test Oracles-From Pilot Studies to Application.
Autom. Softw. Eng. 8(1): 31-61 (2001) |
2000 |
9 | | Ari K. Jónsson,
Paul H. Morris,
Nicola Muscettola,
Kanna Rajan,
Benjamin D. Smith:
Planning in Interplanetary Space: Theory and Practice.
AIPS 2000: 177-186 |
8 | | Benjamin D. Smith,
Martin S. Feather,
Nicola Muscettola:
Challenges and Methods in Testing the Remote Agent Planner.
AIPS 2000: 254-263 |
7 | | Kanna Rajan,
Douglas E. Bernard,
Gregory Dorais,
Edward B. Gamble,
Bob Kanefsky,
James Kurien,
William Millar,
Nicola Muscettola,
P. Pandurang Nayak,
Nicolas F. Rouquette,
Benjamin D. Smith,
William Taylor,
Yu-Wen Tung:
Remote Agent: An Autonomous Control System for the New Millennium.
ECAI 2000: 726-730 |
1999 |
6 | EE | Martin S. Feather,
Benjamin D. Smith:
Automatic Generation of Test Oracles-From Pilot Studies to Application.
ASE 1999: 63-72 |
1998 |
5 | EE | Nicola Muscettola,
Paul H. Morris,
Barney Pell,
Benjamin D. Smith:
Issues in Temporal Reasoning for Autonomous Control Systems.
Agents 1998: 362-368 |
4 | | Steve A. Chien,
Nicola Muscettola,
Kanna Rajan,
Benjamin D. Smith,
Gregg Rabideau:
Automated Planning and Scheduling for Goal-Based Autonomous Spacecraft.
IEEE Intelligent Systems 13(5): 50-55 (1998) |
1997 |
3 | | Benjamin D. Smith,
Kanna Rajan,
Nicola Muscettola:
Knowledge Acquisition for the Onboard Planner of an Autonomous Spacecraft.
EKAW 1997: 253-268 |
2 | | Barney Pell,
Erann Gat,
Ron Keesing,
Nicola Muscettola,
Benjamin D. Smith:
Robust Periodic Planning and Execution for Autonomous Spacecraft.
IJCAI 1997: 1234-1239 |
1990 |
1 | | Benjamin D. Smith,
Paul S. Rosenbloom:
Incremental Non-Backtracking Focusing: A Polynomially Bounded Generalization Algorithm for Version Spaces.
AAAI 1990: 848-853 |