Assuring the Behavior of Adaptive Agents