Assured Autonomy For Safety-Critical And Learning-Enabled Systems