A learner-verifier framework for neural network controllers and certificates of stochastic systems

DOI10.1007/978-3-031-30823-9_1zbMATH Open1545.93589MaRDI QIDQ6535337FDOQ6535337

Authors: Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Đorđe Žikelić 

Publication date: 13 December 2023

zbMATH Keywords

martingalesstochastic systemsformal verificationlearning-based control

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Discrete-time control/observation systems (93C55) Stochastic systems in control theory (general) (93E03)

Cites Work

• SReachTools
• \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems
• Title not available (Why is that?)
• Machine learning. A probabilistic perspective
• Title not available (Why is that?)
• Probability with Martingales
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Title not available (Why is that?)
• Positive polynomials in control.
• Stochastic optimal control via Bellman's principle.
• A partial history of the early development of continuous-time nonlinear stochastic systems theory
• Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
• Deductive proofs of almost sure persistence and recurrence properties
• Termination Analysis of Probabilistic Programs Through Positivstellensatz’s
• Title not available (Why is that?)
• Stochastic invariants for probabilistic termination
• Title not available (Why is that?)
• Learning probabilistic termination proofs
• Finding intrinsic rewards by embodied evolution and constrained reinforcement learning
• On Lexicographic Proof Rules for Probabilistic Termination
• Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
• Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives
• FOSSIL

Cited In (4)

• Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
• Brief Announcement
• Learning safe neural network controllers with barrier certificates
• Risk verification of stochastic systems with neural network controllers

This page was built for publication: A learner-verifier framework for neural network controllers and certificates of stochastic systems

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