Picture for Zikang Xiong

Zikang Xiong

SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models

Add code
Sep 28, 2024
Viaarxiv icon

DIGIMON: Diagnosis and Mitigation of Sampling Skew for Reinforcement Learning based Meta-Planner in Robot Navigation

Add code
Sep 17, 2024
Viaarxiv icon

Manipulating Neural Path Planners via Slight Perturbations

Add code
Mar 27, 2024
Viaarxiv icon

Co-learning Planning and Control Policies Using Differentiable Formal Task Constraints

Add code
Mar 02, 2023
Viaarxiv icon

Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising

Add code
Jun 14, 2022
Figure 1 for Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising
Figure 2 for Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising
Figure 3 for Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising
Figure 4 for Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising
Viaarxiv icon

Model-free Neural Lyapunov Control for Safe Robot Navigation

Add code
Mar 02, 2022
Figure 1 for Model-free Neural Lyapunov Control for Safe Robot Navigation
Figure 2 for Model-free Neural Lyapunov Control for Safe Robot Navigation
Figure 3 for Model-free Neural Lyapunov Control for Safe Robot Navigation
Figure 4 for Model-free Neural Lyapunov Control for Safe Robot Navigation
Viaarxiv icon

Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning

Add code
Apr 20, 2021
Figure 1 for Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning
Figure 2 for Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning
Figure 3 for Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning
Figure 4 for Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning
Viaarxiv icon

Batch Sequential Adaptive Designs for Global Optimization

Add code
Oct 21, 2020
Figure 1 for Batch Sequential Adaptive Designs for Global Optimization
Figure 2 for Batch Sequential Adaptive Designs for Global Optimization
Figure 3 for Batch Sequential Adaptive Designs for Global Optimization
Figure 4 for Batch Sequential Adaptive Designs for Global Optimization
Viaarxiv icon

Robustness to Adversarial Attacks in Learning-Enabled Controllers

Add code
Jun 11, 2020
Figure 1 for Robustness to Adversarial Attacks in Learning-Enabled Controllers
Figure 2 for Robustness to Adversarial Attacks in Learning-Enabled Controllers
Figure 3 for Robustness to Adversarial Attacks in Learning-Enabled Controllers
Figure 4 for Robustness to Adversarial Attacks in Learning-Enabled Controllers
Viaarxiv icon

An Inductive Synthesis Framework for Verifiable Reinforcement Learning

Add code
Jul 16, 2019
Figure 1 for An Inductive Synthesis Framework for Verifiable Reinforcement Learning
Figure 2 for An Inductive Synthesis Framework for Verifiable Reinforcement Learning
Figure 3 for An Inductive Synthesis Framework for Verifiable Reinforcement Learning
Figure 4 for An Inductive Synthesis Framework for Verifiable Reinforcement Learning
Viaarxiv icon