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 | 107 | 2019 |
HiSaRL: A Hierarchical Framework for Safe Reinforcement Learning Z Xiong, I Agarwal, S Jagannathan SafeAI Workshop at AAAI 2022, 2022 | 7 | 2022 |
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 | 7 | 2021 |
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 | 6 | 2022 |
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 | 6 | 2020 |
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 | 3 | 2022 |
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 | 2 | 2022 |
Constrained Hierarchical Deep Reinforcement Learning with Differentiable Formal Specifications Z Xiong, J Eappen, AH Qureshi, S Jagannathan | 1 | 2023 |
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 |