Verification-guided programmatic controller synthesis

DOI10.1007/978-3-031-30820-8_16zbMath1547.68457MaRDI QIDQ6536130

Yuning Wang, He Zhu

Publication date: 5 April 2024

Mathematics Subject Classification ID

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

Cites Work

• Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation
• 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
• Verifiably Safe Off-Model Reinforcement Learning

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