Hsu, K.-C.; Ren, A. Z.; Nguyen, D. P.; Majumdar, A.; Fisac, J. F. Sim-to-Lab-to-Real: Safe Reinforcement Learning With Shielding and Generalization Guarantees (Abstract Reprint). AAAI 2024, 38, 22699-22699.