Using Abstraction in Multi-Rover Scheduling
Bradley J. Clement, Anthony Barrett · 2001
r describes how an iterative repair planner/scheduler can reason about the activities of multiple spacecraft at abstract levels in order to greatly improve the scheduling of their use of shared resources.