- Our papers titled “NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems” and “Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers” are accepted for publication in the 2022 IEEE Conference on Decision and Control (CDC).