:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Henzinger, Thomas A., Kresse, Fabian, Mallik, Kaushik, Yu, Emily, Žikelić, Đorđe
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Artificial Intelligence
Online Access:	https://arxiv.org/abs/2412.16564
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Neural Control and Certificate Repair via Runtime Monitoring
by: Yu, Emily, et al.
Published: (2024)

Efficient Dynamic Shielding for Parametric Safety Specifications
by: Corsi, Davide, et al.
Published: (2025)

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

Monitoring Robustness and Individual Fairness
by: Gupta, Ashutosh, et al.
Published: (2025)

Decoding the Black Box: Integrating Moral Imagination with Technical AI Governance
by: Tallam, Krti
Published: (2025)

From Black-Box to White-Box: Control-Theoretic Neural Network Interpretability
by: Moon, Jihoon
Published: (2025)

Model Predictive Control of Hybrid Dynamical Systems
by: Sanfelice, Ricardo G., et al.
Published: (2026)

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
by: Cao, Zhipeng, et al.
Published: (2025)

Every Call is Precious: Global Optimization of Black-Box Functions with Unknown Lipschitz Constants
by: Fourati, Fares, et al.
Published: (2025)

ACING: Actor-Critic for Instruction Learning in Black-Box LLMs
by: Kharrat, Salma, et al.
Published: (2024)

A Black-Box Physics-Informed Estimator based on Gaussian Process Regression for Robot Inverse Dynamics Identification
by: Giacomuzzos, Giulio, et al.
Published: (2023)

Perspectives on a Reliability Monitoring Framework for Agentic AI Systems
by: Flehmig, Niclas, et al.
Published: (2025)

Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control
by: Li, Xiao, et al.
Published: (2025)

Quantitative Monitoring of Signal First-Order Logic
by: Chalupa, Marek, et al.
Published: (2026)

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

Peaking into the Black-box: Prediction Intervals Give Insight into Data-driven Quadrotor Model Reliability
by: van Beers, Jasper, et al.
Published: (2024)

Fairness Shields: Safeguarding against Biased Decision Makers
by: Cano, Filip, et al.
Published: (2024)

Model Predictive Control and Reinforcement Learning: A Unified Framework Based on Dynamic Programming
by: Bertsekas, Dimitri P.
Published: (2024)

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

Diffusion Model-based Parameter Estimation in Dynamic Power Systems
by: Zhu, Feiqin, et al.
Published: (2024)

Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction
by: Dong, Shuyang, et al.
Published: (2024)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
by: Skovbekk, John, et al.
Published: (2021)

Deep Learning-Driven Black-Box Doherty Power Amplifier with Pixelated Output Combiner and Extended Efficiency Range
by: Zhou, Han, et al.
Published: (2026)

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
by: Taheri, Ali, et al.
Published: (2025)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Deep Reinforcement Learning Optimization for Uncertain Nonlinear Systems via Event-Triggered Robust Adaptive Dynamic Programming
by: Bai, Ningwei, et al.
Published: (2025)

Reliable Interval Prediction of Minimum Operating Voltage Based on On-chip Monitors via Conformalized Quantile Regression
by: Yin, Yuxuan, et al.
Published: (2024)

ASMA: An Adaptive Safety Margin Algorithm for Vision-Language Drone Navigation via Scene-Aware Control Barrier Functions
by: Sanyal, Sourav, et al.
Published: (2024)

Towards a Deeper Understanding of Transformer for Residential Non-intrusive Load Monitoring
by: Rahman, Minhajur, et al.
Published: (2024)

A Review of Artificial Intelligence Impacting Statistical Process Monitoring and Future Directions
by: Chang, Shing I, et al.
Published: (2025)

End-to-End Learning-based Operation of Integrated Energy Systems for Buildings and Data Centers
by: Pu, Zhenyu, et al.
Published: (2026)

Convolutional Neural Network Design and Evaluation for Real-Time Multivariate Time Series Fault Detection in Spacecraft Attitude Sensors
by: Gallon, Riccardo, et al.
Published: (2024)

Revolutionizing System Reliability: The Role of AI in Predictive Maintenance Strategies
by: Bidollahkhani, Michael, et al.
Published: (2024)

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
by: Lutz, Sterre, et al.
Published: (2025)

Graphon Particle Systems, Part II: Dynamics of Distributed Stochastic Continuum Optimization
by: Chen, Yan, et al.
Published: (2024)

Generative Predictive Control: Flow Matching Policies for Dynamic and Difficult-to-Demonstrate Tasks
by: Kurtz, Vince, et al.
Published: (2025)

Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic Systems
by: Udupa, Sumukha, et al.
Published: (2025)

Predictability and Fairness in Load Aggregation with Deadband
by: Difonzo, F. V., et al.
Published: (2023)

Towards Real-world Deployment of NILM Systems: Challenges and Practices
by: Xue, Junyu, et al.
Published: (2024)