On-Board Autonomy via Symbolic Model Based Reasoning