Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications. - Peng Lv 002; Guangqing Luo; Zhou He 001; Xianwei Li 001; Xiang Yin 003 (ICCA, 2024)