safetyfactneutralLearning-based methodologies like Reinforcement Learning typically lack the formal guarantees necessary for safe deployment of autonomous cyber-physical systemsNeural and Evolutionary Computing28 Jul 2026http://arxiv.org/abs/2607.15003v1