Trustworthy Autonomy: Behavior Prediction and Validation