Vicenc Rubies-Royo: Assured Autonomy for Safety-Critical and Learning-Enabled Systems. University of California, Berkeley, USA 2020