keywords Autonomous systems Computer Science Computer Science, Software Engineering Machine learning Reinforcement learning Run-time verification Safety-critical Science & Technology Technology