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

Emil Vassev, Mike Hinchey, Joey Paquet

Browse the full SAC paper archive.