An inductive synthesis framework for verifiable reinforcement learning. - He Zhu 001; Zikang Xiong; Stephen Magill; Suresh Jagannathan (PLDI, 2019)

Robustness to Adversarial Attacks in Learning-Enabled Controllers. - Zikang Xiong; Joe Eappen; He Zhu 001; Suresh Jagannathan (CoRR, 2020)

Batch Sequential Adaptive Designs for Global Optimization. - Jianhui Ning; Yao Xiao; Zikang Xiong (CoRR, 2020)

Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning. - Zikang Xiong; Suresh Jagannathan (CoRR, 2021)

HiSaRL: A Hierarchical Framework for Safe Reinforcement Learning. - Zikang Xiong; Ishika Agarwal; Suresh Jagannathan (SafeAI@AAAI, 2022)

Model-free Neural Lyapunov Control for Safe Robot Navigation. - Zikang Xiong; Joe Eappen; Ahmed H. Qureshi; Suresh Jagannathan (IROS, 2022)

Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising. - Zikang Xiong; Joe Eappen; He Zhu 001; Suresh Jagannathan (ECML/PKDD (3), 2022)

Representative Points Based on Power Exponential Kernel Discrepancy. - Zikang Xiong; Yao Xiao; Jianhui Ning; Hong Qin 008 (Axioms, 2022)

Co-learning Planning and Control Policies Using Differentiable Formal Task Constraints. - Zikang Xiong; Joe Eappen; Daniel Lawson; Ahmed H. Qureshi; Suresh Jagannathan (CoRR, 2023)

Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications. - Joe Eappen; Zikang Xiong; Dipam Patel; Aniket Bera; Suresh Jagannathan (CoRL, 2024)

Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications. - Zikang Xiong; Daniel Lawson; Joe Eappen; Ahmed H. Qureshi; Suresh Jagannathan (ICRA, 2024)

DIGIMON: Diagnosis and Mitigation of Sampling Skew for Reinforcement Learning based Meta-Planner in Robot Navigation. - Shiwei Feng 002; Xuan Chen; Zhiyuan Cheng 010; Zikang Xiong; Yifei Gao; Siyuan Cheng 005; Sayali Kate; Xiangyu Zhang 001 (CoRR, 2024)

SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models. - Yi Wu; Zikang Xiong; Yiran Hu; Shreyash S. Iyengar; Nan Jiang 012; Aniket Bera; Lin Tan 001; Suresh Jagannathan (CoRR, 2024)

Manipulating Neural Path Planners via Slight Perturbations. - Zikang Xiong; Suresh Jagannathan (IEEE Robotics Autom. Lett., 2024)

A Framework for Learning Scoring Rules in Autonomous Driving Planning Systems. - Zikang Xiong; Joe Eappen; Suresh Jagannathan (CoRR, 2025)

FLoRA: A Framework for Learning Scoring Rules in Autonomous Driving Planning Systems. - Zikang Xiong; Joe Eappen; Suresh Jagannathan (IEEE Robotics Autom. Lett., 2025)

Convergence analysis of Anderson acceleration for nonlinear equations with Hölder continuous derivatives. - Yonghui Ling; Zikang Xiong; Juan Liang (CoRR, 2025)