Alex Darwin Paredes Anchatipán

An Integrated Safety Architecture for Learning-Based Control Systems: Experimental Evaluation with Verification and Fault Detection

An integrated safety architecture that integrates safe reinforcement learning, fault detection models and formal verification tools for autonomous vehicle control is introduced that suggests that the combination of safe reinforcement learning and fault detection formal verification can enhance the reliability of autono...

Computer and Decision Making An International Journal