Verification-guided programmatic controller synthesis
type: Item
instance of: scholarly article
title: Verification-guided programmatic controller synthesis
zbMATH Open document ID: 1547.68457
DOI: 10.1007/978-3-031-30820-8_16
author: Yuning Wang
author: He Zhu
publication date: 2024-04-05T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T05
Mathematics Subject Classification ID: 93B50
zbMATH DE Number: 7827808
MaRDI profile type: Publication
cites work: A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems
cites work: Reachability analysis for neural feedback systems using regressive polynomial rule inference
cites work: An Introduction to Deep Reinforcement Learning
cites work: Verifiably Safe Off-Model Reinforcement Learning
cites work: Verisig
cites work: Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation
cites work: Formal verification of neural network controlled autonomous systems
description: scientific article; zbMATH DE number 7827808