Towards an ASSL specification model for NASA swarm-based exploration missions.

Emil Vassev Mike Hinchey Joey Paquet

Published in: SAC (2008)

Keyphrases

high level
mathematical model
probabilistic model
theoretical analysis
statistical model
prior knowledge
management system
simulation model
state machine
information retrieval
genetic algorithm
objective function
cost function
theoretical framework
experimental data