:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Sayed, Abdelrahman Sayed, Meyer, Pierre-Jean, Ghazel, Mohamed
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control Machine Learning
Accesso online:	https://arxiv.org/abs/2510.17859
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
di: Sayed, Abdelrahman Sayed, et al.
Pubblicazione: (2025)

HyperKKL: Enabling Non-Autonomous State Estimation through Dynamic Weight Conditioning
di: Shaaban, Yahia Salaheldin, et al.
Pubblicazione: (2026)

HyperKKL: Learning KKL Observers for Non-Autonomous Nonlinear Systems via Hypernetwork-Based Input Conditioning
di: Shaaban, Yahia Salaheldin, et al.
Pubblicazione: (2026)

$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
di: Harapanahalli, Akash, et al.
Pubblicazione: (2024)

Risk Assessment of an Autonomous Underwater Snake Robot in Confined Operations
di: Sayed, Abdelrahman Sayed
Pubblicazione: (2025)

Quadratic Characterizations for Reachability Analysis of Neural Networks
di: Khalife, Elias, et al.
Pubblicazione: (2026)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
di: Zhang, Yuhao, et al.
Pubblicazione: (2025)

High-Probability Convergence Guarantees of Decentralized SGD
di: Armacki, Aleksandar, et al.
Pubblicazione: (2025)

Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
di: Sharifi, Sina, et al.
Pubblicazione: (2024)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
di: Harapanahalli, Akash, et al.
Pubblicazione: (2023)

Lyapunov Neural ODE State-Feedback Control Policies
di: Ip, Joshua Hang Sai, et al.
Pubblicazione: (2024)

Diffusion Stochastic Learning Over Adaptive Competing Networks
di: Zhao, Yike, et al.
Pubblicazione: (2025)

High-Probability Convergence in Decentralized Stochastic Optimization with Gradient Tracking
di: Armacki, Aleksandar, et al.
Pubblicazione: (2026)

Neural Approximators for Low-Thrust Trajectory Transfer Cost and Reachability
di: Zhang, Zhong, et al.
Pubblicazione: (2025)

Causal Influence in Federated Edge Inference
di: Kayaalp, Mert, et al.
Pubblicazione: (2024)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
di: Solanki, Prashant, et al.
Pubblicazione: (2025)

Compressed Regression over Adaptive Networks
di: Carpentiero, Marco, et al.
Pubblicazione: (2023)

Distributed Adaptive Learning Under Communication Constraints
di: Carpentiero, Marco, et al.
Pubblicazione: (2021)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
di: Ajeyemi, Damola, et al.
Pubblicazione: (2025)

Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
di: Huang, Yanliang, et al.
Pubblicazione: (2026)

Convex Hulls of Reachable Sets
di: Lew, Thomas, et al.
Pubblicazione: (2023)

Multi-agent Off-policy Actor-Critic Reinforcement Learning for Partially Observable Environments
di: Zhaikhan, Ainur, et al.
Pubblicazione: (2024)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
di: Hafez, Ahmad, et al.
Pubblicazione: (2025)

Tight Long-Term Tail Decay of (Clipped) SGD in Non-Convex Optimization
di: Armacki, Aleksandar, et al.
Pubblicazione: (2026)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
di: Shen, Keyi, et al.
Pubblicazione: (2026)

Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey
di: Ganai, Milan, et al.
Pubblicazione: (2024)

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
di: Lin, Albert, et al.
Pubblicazione: (2025)

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics
di: Prajapat, Manish, et al.
Pubblicazione: (2025)

Symplectic Inductive Bias for Data-Driven Target Reachability in Hamiltonian Systems
di: Ouyang, Zhuo, et al.
Pubblicazione: (2026)

Near-Optimal Online Learning for Multi-Agent Submodular Coordination: Tight Approximation and Communication Efficiency
di: Zhang, Qixin, et al.
Pubblicazione: (2025)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
di: Lin, Albert, et al.
Pubblicazione: (2023)

Learning to Control Unknown Strongly Monotone Games
di: Chandak, Siddharth, et al.
Pubblicazione: (2024)

The Reachability Problem for Neural-Network Control Systems
di: Schilling, Christian, et al.
Pubblicazione: (2024)

Data-driven Reachable Set Estimation with Tunable Adversarial and Wasserstein Distributional Guarantees
di: Pantazis, Georgios, et al.
Pubblicazione: (2026)

Analysis of Off-Policy Multi-Step TD-Learning with Linear Function Approximation
di: Lee, Donghwan
Pubblicazione: (2024)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
di: Serry, Mohamed, et al.
Pubblicazione: (2026)

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
di: Nath, Devesh, et al.
Pubblicazione: (2026)

Symplectic ODE-Net: Learning Hamiltonian Dynamics with Control
di: Zhong, Yaofeng Desmond, et al.
Pubblicazione: (2019)

Online Adaptation for Flying Quadrotors in Tight Formations
di: Hsieh, Pei-An, et al.
Pubblicazione: (2025)

Tight Finite Time Bounds of Two-Time-Scale Linear Stochastic Approximation with Markovian Noise
di: Haque, Shaan Ul, et al.
Pubblicazione: (2023)