Co-occurring keywords · papers mentioning both
Papers
Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
L4DC 2025
QuaDUE-CCM: Interpretable Distributional Reinforcement Learning using Uncertain Contraction Metrics for Precise Quadrotor Trajectory Tracking
CoRL 2022
Uncertain-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
L4DC 2021
Learning Certified Control Using Contraction Metric
CoRL 2020