Fernando Castañeda, Jason J. Choi, Bike Zhang, Claire J. Tomlin, Koushil Sreenath: Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty. CDC 2021: 6762-6769