Co-occurring keywords · papers mentioning both
Papers
Certified Robust Invariant Polytope Training in Neural Controlled ODEs
L4DC 2026
Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees
AAAI 2026
Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates
IJCAI 2025
Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding
AAAI 2025
LiveNet: Robust, Minimally Invasive Multi-Robot Control for Safe and Live Navigation in Constrained Environments
L4DC 2025
Parameter-adaptive approximate MPC: Tuning neural-network controllers without retraining
L4DC 2024
Verified Safe Reinforcement Learning for Neural Network Dynamic Models
NeurIPS 2024
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes
L4DC 2023
Designing System Level Synthesis Controllers for Nonlinear Systems with Stability Guarantees
L4DC 2023
Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe
L4DC 2023
Reachability Analysis of Neural Network Control Systems
AAAI 2023
Structured Neural-PI Control with End-to-End Stability and Output Tracking Guarantees
NeurIPS 2023
Rapid Locomotion via Reinforcement Learning
RSS 2022
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes
AAAI 2022
HJB-RL: Initializing Reinforcement Learning with Optimal Control Policies Applied to Autonomous Drone Racing
RSS 2021
Lyapunov-stable neural-network control
RSS 2021
Offset-free setpoint tracking using neural network controllers
L4DC 2021
DiffTaichi: Differentiable Programming for Physical Simulation
ICLR 2020
Intention-Net: Integrating Planning and Deep Learning for Goal-Directed Autonomous Navigation
CoRL 2017
Tensor Based Knowledge Transfer Across Skill Categories for Robot Control
IJCAI 2017
Asynchronous Methods for Deep Reinforcement Learning
ICML 2016
Interactive Control of Diverse Complex Characters with Neural Networks
NeurIPS 2015
Combining the benefits of function approximation and trajectory optimization
RSS 2014
Guided Policy Search
ICML 2013