ComputingAutonomous SystemsComputer ScienceArtificial IntelligenceCyber-physical SystemsFormal MethodsAutomated ReasoningCyber-physical Systems DesignCyber-physical Systems ModelingDeductive VerificationReinforcement LearningSafety-critical SystemsCyber-physical Systems SafetyFormal Methods For Cyber-physical SystemsFormal Methods For SafetyFormal Safety VerificationFormal VerificationReinforcement Learning For RoboticsSafe LearningSafety In Autonomous Systems
Autonomous cyber-physical systems-such as self-driving cars and autonomous drones-often leverage artificial intelligence and machine learning algorithms to act well in open environments. Although testing plays an important role in ensuring safety and robustness, modern autonomous systems have grown so complex that achieving safety via testing alone is intractable. Formal verification reduces this testing burden by ruling out large classes of errant behavior at design time. This paper reviews recent work toward developing formal methods for cyber-physical systems that use AI for planning and control by combining the rigor of formal proofs with the flexibility of reinforcement learning.
16
Reinforcement Learning: An Introduction
IEEE Transactions on Neural Networks · 2005 · 25.8K citations
Safe Reinforcement Learning via Shielding
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers et al. · 2018 · 620 citations
Perception, Planning, Control, and Coordination for Autonomous Vehicles
Scott Pendleton, Hans Andersen, Xinxin Du et al. · Machines · 2017 · 616 citations · Full text