Verification-guided programmatic controller synthesis

DOI10.1007/978-3-031-30820-8_16zbMATH Open1547.68457MaRDI QIDQ6536130FDOQ6536130

Yuning Wang, He Zhu

Publication date: 5 April 2024

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Synthesis problems (93B50)

Cites Work

• An Introduction to Deep Reinforcement Learning
• A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems
• Formal verification of neural network controlled autonomous systems
• Reachability analysis for neural feedback systems using regressive polynomial rule inference
• Verisig
• Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation
• Verifiably Safe Off-Model Reinforcement Learning

This page was built for publication: Verification-guided programmatic controller synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536130)