A formal approach to self-configurable swarm-based space-exploration systems.

Emil Vassev Mike Hinchey Paddy Nixon

Published in: AHS (2010)

Keyphrases

space exploration
expert systems
distributed systems
management system
data sets
information systems
knowledge base
cooperative
software engineering
intelligent systems
computer systems
building blocks
swarm intelligence
formal methods
reactive systems