Follow
Zikang Xiong
Title
Cited by
Cited by
Year
An inductive synthesis framework for verifiable reinforcement learning
H Zhu, Z Xiong, S Magill, S Jagannathan
Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019
1072019
HiSaRL: A Hierarchical Framework for Safe Reinforcement Learning
Z Xiong, I Agarwal, S Jagannathan
SafeAI Workshop at AAAI 2022, 2022
72022
Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning
Z Xiong, S Jagannathan
4th Workshop on Formal Methods for ML-Enabled Autonomous Systems Affiliated …, 2021
72021
Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising
Z Xiong, J Eappen, H Zhu, S Jagannathan
2022 European Conference on Machine Learning and Principles and Practice of …, 2022
62022
Robustness to adversarial attacks in learning-enabled controllers
Z Xiong, J Eappen, H Zhu, S Jagannathan
Adaptive and Learning Agents Workshop at AAMAS 2021, 2020
62020
Model-free Neural Lyapunov Control for Safe Robot Navigation
Z Xiong, J Eappen, AH Qureshi, S Jagannathan
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2022
32022
An efficient framework for reliable and personalized motion planner in autonomous driving
S Jiang, Z Xiong, W Lin, Y Cao, Z Xia, J Miao, Q Luo
IEEE Robotics and Automation Letters, 8, 2022
22022
Constrained Hierarchical Deep Reinforcement Learning with Differentiable Formal Specifications
Z Xiong, J Eappen, AH Qureshi, S Jagannathan
12023
Simulation obstacle vehicles with driving styles
S Jiang, Y Cao, LIN Weiman, Q Luo, Z Xiong, J Miao, J Hu
US Patent App. 17/645,860, 2023
2023
Learning-based critic for tuning a motion planner of autonomous driving vehicle
S Jiang, Z Xiong, LIN Weiman, Y Cao, Q Luo, J Hu, J Miao
US Patent App. 17/456,545, 2023
2023
Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications
Z Xiong, D Lawson, J Eappen, AH Qureshi, S Jagannathan
arXiv preprint arXiv:2303.01346, 2023
2023
Co-learning Planning and Control Policies Using Differentiable Formal Task Constraints
Z Xiong, J Eappen, D Lawson, AH Qureshi, S Jagannathan
arXiv e-prints, arXiv: 2303.01346, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–12