Simulating Re-configurable Multi-Rovers for Planetary Exploration Using Behavior-Based Ontology | IEEE Conference Publication | IEEE Xplore