Towards a Hybrid Formal Method for Swarm-Based Exploration Missions | IEEE Conference Publication | IEEE Xplore