Copertina

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Chengxiao, Wu, Haoze, Singh, Gagandeep
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Machine Learning Artificial Intelligence Robotics Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
di: Shi, Zhouxing, et al.
Pubblicazione: (2024)

MSACL: Multi-Step Actor-Critic Learning with Lyapunov Certificates for Exponentially Stabilizing Control
di: Zhang, Yongwei, et al.
Pubblicazione: (2025)

Distributionally Robust Policy and Lyapunov-Certificate Learning
di: Long, Kehan, et al.
Pubblicazione: (2024)

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

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
di: Yang, Lujie, et al.
Pubblicazione: (2024)

Probabilistic Constrained Reinforcement Learning with Formal Interpretability
di: Wang, Yanran, et al.
Pubblicazione: (2023)

MAGICS: Adversarial RL with Minimax Actors Guided by Implicit Critic Stackelberg for Convergent Neural Synthesis of Robot Safety
di: Wang, Justin, et al.
Pubblicazione: (2024)

Neural-Rendezvous: Provably Robust Guidance and Control to Encounter Interstellar Objects
di: Tsukamoto, Hiroyasu, et al.
Pubblicazione: (2022)

Lyapunov-Certified Direct Switching Theory for Q-Learning
di: Lee, Donghwan
Pubblicazione: (2026)

Learning Control Barrier Functions and their application in Reinforcement Learning: A Survey
di: Guerrier, Maeva, et al.
Pubblicazione: (2024)

CBF-RL: Safety Filtering Reinforcement Learning in Training with Control Barrier Functions
di: Yang, Lizhi, et al.
Pubblicazione: (2025)

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
di: Long, Kehan, et al.
Pubblicazione: (2025)

Learning Causal Structure Distributions for Robust Planning
di: Murillo-Gonzalez, Alejandro, et al.
Pubblicazione: (2025)

Frugal Actor-Critic: Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences
di: Singh, Nikhil Kumar, et al.
Pubblicazione: (2024)

Data-Driven Permissible Safe Control with Barrier Certificates
di: Mazouz, Rayan, et al.
Pubblicazione: (2024)

Efficient Policy Optimization in Robust Constrained MDPs with Iteration Complexity Guarantees
di: Ganguly, Sourav, et al.
Pubblicazione: (2025)

Neural Fidelity Calibration for Informative Sim-to-Real Adaptation
di: Yu, Youwei, et al.
Pubblicazione: (2025)

Robust Recovery Controller for a Quadrupedal Robot using Deep Reinforcement Learning
di: Lee, Joonho, et al.
Pubblicazione: (2019)

One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments
di: Lin, Albert, et al.
Pubblicazione: (2024)

Architecture Is All You Need: Diversity-Enabled Sweet Spots for Robust Humanoid Locomotion
di: Werner, Blake, et al.
Pubblicazione: (2025)

Neural Control Barrier Functions from Physics Informed Neural Networks
di: Agrawal, Shreenabh, et al.
Pubblicazione: (2025)

Neural-Fly Enables Rapid Learning for Agile Flight in Strong Winds
di: O'Connell, Michael, et al.
Pubblicazione: (2022)

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

Dropout MPC: An Ensemble Neural MPC Approach for Systems with Learned Dynamics
di: Syntakas, Spyridon, et al.
Pubblicazione: (2024)

Robust Multi-Agent Reinforcement Learning for Small UAS Separation Assurance under GPS Degradation and Spoofing
di: Zongo, Alex, et al.
Pubblicazione: (2026)

An Integrated Imitation and Reinforcement Learning Methodology for Robust Agile Aircraft Control with Limited Pilot Demonstration Data
di: Sever, Gulay Goktas, et al.
Pubblicazione: (2023)

cc-DRL: a Convex Combined Deep Reinforcement Learning Flight Control Design for a Morphing Quadrotor
di: Yang, Tao, et al.
Pubblicazione: (2024)

Multi-Resolution End-to-End Deep Neural Network for Optimizing Latency-Accuracy Tradeoff in Autonomous Driving
di: Weng, Qitao, et al.
Pubblicazione: (2026)

Actor-Critic Physics-informed Neural Lyapunov Control
di: Wang, Jiarui, et al.
Pubblicazione: (2024)

Permissive Safety Through Trusted Inference: Verifiable Belief-Space Neural Safety Filters for Assured Interactive Robotics
di: Hu, Haimin
Pubblicazione: (2026)

Predictive Red Teaming: Breaking Policies Without Breaking Robots
di: Majumdar, Anirudha, et al.
Pubblicazione: (2025)

From Abstraction to Reality: DARPA's Vision for Robust Sim-to-Real Autonomy
di: Noorani, Erfaun, et al.
Pubblicazione: (2025)

A Roadmap for Climate-Relevant Robotics Research
di: Papalia, Alan, et al.
Pubblicazione: (2025)

SARAD: LLM-Based Safety-Aware Hybrid Reinforcement Learning with Collision Prediction for Autonomous Driving
di: Wu, Kangyu, et al.
Pubblicazione: (2026)

Temporal Transfer Learning for Traffic Optimization with Coarse-grained Advisory Autonomy
di: Cho, Jung-Hoon, et al.
Pubblicazione: (2023)

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
di: Nath, Devesh, et al.
Pubblicazione: (2025)

Certifiably Robust Policies for Uncertain Parametric Environments
di: Schnitzer, Yannik, et al.
Pubblicazione: (2024)

Real Time Control of Tandem-Wing Experimental Platform Using Concerto Reinforcement Learning
di: Minghao, Zhang, et al.
Pubblicazione: (2025)

A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics
di: Damare, Amol, et al.
Pubblicazione: (2022)