Cover Image

Neural Control and Certificate Repair via Runtime Monitoring

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yu, Emily, Žikelić, Đorđe, Henzinger, Thomas A.
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Predictive Monitoring of Black-Box Dynamical Systems
by: Henzinger, Thomas A., et al.
Published: (2024)

Automating the Refinement of Reinforcement Learning Specifications
by: Ambadkar, Tanmay, et al.
Published: (2025)

Certificate-Guided Evaluation of Reinforcement Learning Generalization
by: Subramanian, Vignesh, et al.
Published: (2026)

Monitoring of Static Fairness
by: Henzinger, Thomas A., et al.
Published: (2025)

Formal Verification of Neural Certificates Done Dynamically
by: Henzinger, Thomas A., et al.
Published: (2025)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
by: Henzinger, Thomas A., et al.
Published: (2025)

Model-Based Runtime Monitoring with Interactive Imitation Learning
by: Liu, Huihan, et al.
Published: (2023)

Conditional Factuality Controlled LLMs with Generalization Certificates via Conformal Sampling
by: Ye, Kai, et al.
Published: (2026)

Learning Contextual Runtime Monitors for Safe AI-Based Autonomy
by: Luque-Cerpa, Alejandro, et al.
Published: (2026)

Runtime Safety Monitoring of Deep Neural Networks for Perception: A Survey
by: Schotschneider, Albert, et al.
Published: (2025)

A Dual-Stream Physics-Augmented Unsupervised Architecture for Runtime Embedded Vehicle Health Monitoring
by: Spotorno, Enzo Nicolas, et al.
Published: (2026)

Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification
by: Mao, Yuhao, et al.
Published: (2024)

Algorithmic Fairness: A Runtime Perspective
by: Cano, Filip, et al.
Published: (2025)

Expressive Reward Synthesis with the Runtime Monitoring Language
by: Donnelly, Daniel, et al.
Published: (2025)

Trust Regions for Explanations via Black-Box Probabilistic Certification
by: Dhurandhar, Amit, et al.
Published: (2024)

Gated Uncertainty-Aware Runtime Dual Invariants for Neural Signal-Controlled Robotics
by: Kim, Tasha, et al.
Published: (2025)

The Price of Freedom: Exploring Expressivity and Runtime Tradeoffs in Equivariant Tensor Products
by: Xie, YuQing, et al.
Published: (2025)

Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)
by: Hu, Boyue Caroline, et al.
Published: (2025)

RAP: Runtime Adaptive Pruning for LLM Inference
by: Liu, Huanrong, et al.
Published: (2025)

Anytime-Valid Answer Sufficiency Certificates for LLM Generation via Sequential Information Lift
by: Akter, Sanjeda, et al.
Published: (2025)

Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation
by: Mo, Zihao, et al.
Published: (2024)

SnareNet: Flexible Repair Layers for Neural Networks with Hard Constraints
by: Chu, Ya-Chi, et al.
Published: (2026)

Probabilistic Runtime Verification, Evaluation and Risk Assessment of Visual Deep Learning Systems
by: Torpmann-Hagen, Birk, et al.
Published: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
by: Akshay, S., et al.
Published: (2024)

Certificate-Guided Pruning for Stochastic Lipschitz Optimization
by: Shihab, Ibne Farabi, et al.
Published: (2026)

Agents Learn Their Runtime: Interpreter Persistence as Training-Time Semantics
by: May, Victor, et al.
Published: (2026)

Kalman-Inspired Runtime Stability and Recovery in Hybrid Reasoning Systems
by: Or, Barak
Published: (2026)

Guided Game Level Repair via Explainable AI
by: Bazzaz, Mahsa, et al.
Published: (2024)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
by: Mandal, Udayan, et al.
Published: (2024)

FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks
by: Lorenz, Tobias, et al.
Published: (2024)

SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression
by: Li, Jingyang, et al.
Published: (2026)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

Hierarchical Reinforcement Learning with Runtime Safety Shielding for Power Grid Operation
by: Malik, Gitesh
Published: (2026)

GPU Forecasters: Language Models as Selective Surrogates for Kernel Runtime Optimization
by: Khan, Zaid, et al.
Published: (2026)

Certification for Differentially Private Prediction in Gradient-Based Training
by: Wicker, Matthew, et al.
Published: (2024)

Geometry of Drifting MDPs with Path-Integral Stability Certificates
by: Zhang, Zuyuan, et al.
Published: (2026)

Robust Conformal Prediction with a Single Binary Certificate
by: Zargarbashi, Soroush H., et al.
Published: (2025)

Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs
by: Cheng, Chih-Hong, et al.
Published: (2024)

Solving Long-run Average Reward Robust MDPs via Stochastic Games
by: Chatterjee, Krishnendu, et al.
Published: (2023)

WARP: Guaranteed Inner-Layer Repair of NLP Transformers
by: Hsu, Hsin-Ling, et al.
Published: (2026)