@misc{indiciae3c0fa14f60b8,
  title = {Fault-Tolerant Design and Multi-Objective Model Checking for Real-Time Deep Reinforcement Learning Systems},
  author = {Guoxin Su and Thomas Robinson and Hoa Khanh Dam and Li Liu and David S. Rosenblum},
  year = {2026},
  url = {https://arxiv.org/abs/2603.23113},
  note = {Source identifier: 2603.23113}
}