TY - RPRT TI - Fault-Tolerant Design and Multi-Objective Model Checking for Real-Time Deep Reinforcement Learning Systems AU - Guoxin Su AU - Thomas Robinson AU - Hoa Khanh Dam AU - Li Liu AU - David S. Rosenblum PY - 2026 UR - https://arxiv.org/abs/2603.23113 ID - 2603.23113 ER -