:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhang, Xiyue, Wang, Zifan, Gao, Yulong, Romao, Licio, Abate, Alessandro, Kwiatkowska, Marta
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2411.19729
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Provable Preimage Under-Approximation for Neural Networks (Full Version)
by: Zhang, Xiyue, et al.
Published: (2023)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
by: Zhang, Xiyue, et al.
Published: (2024)

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

Risk-Averse Learning with Varying Risk Levels
by: Wang, Siyi, et al.
Published: (2025)

Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers
by: Tzikas, Alexandros E., et al.
Published: (2024)

Efficient Preimage Approximation for Neural Network Certification
by: Björklund, Anton, et al.
Published: (2025)

FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection
by: Chen, Jialuo, et al.
Published: (2024)

Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets
by: Mukhi, Karan, et al.
Published: (2025)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
by: König, Matthias, et al.
Published: (2024)

Online Bayesian Risk-Averse Reinforcement Learning
by: Wang, Yuhao, et al.
Published: (2025)

Bridging conformal prediction and scenario optimization
by: O'Sullivan, Niall, et al.
Published: (2025)

STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers
by: Shao, Daqian, et al.
Published: (2023)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
by: Badings, Thom, et al.
Published: (2024)

Safety Certification is Classification
by: Schön, Oliver, et al.
Published: (2026)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
by: Liu, Minghao, et al.
Published: (2025)

Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks
by: Vadillo, Jon, et al.
Published: (2024)

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
by: Banse, Adrien, et al.
Published: (2024)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
by: Edwards, Alec, et al.
Published: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
by: Edwards, Alec, et al.
Published: (2023)

Value Functions as Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2026)

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

On the Limitations of Markovian Rewards to Express Multi-Objective, Risk-Sensitive, and Modal Tasks
by: Skalse, Joar, et al.
Published: (2024)

Risk-Averse Total-Reward Reinforcement Learning
by: Su, Xihong, et al.
Published: (2025)

Walking the Values in Bayesian Inverse Reinforcement Learning
by: Bajgar, Ondrej, et al.
Published: (2024)

Studying Cross-cluster Modularity in Neural Networks
by: Golechha, Satvik, et al.
Published: (2025)

Risk-Averse Reinforcement Learning with Itakura-Saito Loss
by: Udovichenko, Igor, et al.
Published: (2025)

Tight PAC-Bayesian Risk Certificates for Contrastive Learning
by: Van Elst, Anna, et al.
Published: (2024)

Data-driven Interval MDP for Robust Control Synthesis
by: Coppola, Rudi, et al.
Published: (2024)

Posterior Concentration of Bayesian Physics-Informed Neural Networks for Elliptic PDEs
by: Zhao, Yuxuan, et al.
Published: (2026)

Diffusion Policies for Risk-Averse Behavior Modeling in Offline Reinforcement Learning
by: Chen, Xiaocong, et al.
Published: (2024)

MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs
by: Lorenz, Tobias, et al.
Published: (2024)

Shape Derivative-Informed Neural Operators with Application to Risk-Averse Shape Optimization
by: Gong, Xindi, et al.
Published: (2026)

Risk-Averse Constrained Reinforcement Learning with Optimized Certainty Equivalents
by: Lee, Jane H., et al.
Published: (2025)

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
by: Cui, Bohan, et al.
Published: (2026)

Optimistic Exploration for Risk-Averse Constrained Reinforcement Learning
by: McCarthy, James, et al.
Published: (2025)

Partially Observable Stochastic Games with Neural Perception Mechanisms
by: Yan, Rui, et al.
Published: (2023)

Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification
by: Skalse, Joar, et al.
Published: (2024)

Learning Decision Policies with Instrumental Variables through Double Machine Learning
by: Shao, Daqian, et al.
Published: (2024)

Causal Imitation Learning under Expert-Observable and Expert-Unobservable Confounding
by: Shao, Daqian, et al.
Published: (2025)