Behavior of Adaptive Agents -- Agents in a Wild World -- Formal Methods at NASA Goddard