Model-based Reactive Programming of Cooperative Vehicles for Mars Exploration
Model-based Programming of Cooperating Robots Brian C. Williams, Jonathan Kennell, I-hsiang Shu, and Raj Krishnan Artificial Intelligence and Space Systems.
Executing Reactive, Model-based Programs through Graph-based Temporal Planning
