Our papers titled “Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach” and “Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach” are accepted for publication in the 2021 IEEE Conference on Decision and Control (CDC).