Zhizhen Qin

According to our database, Zhizhen Qin authored at least 15 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

QuCtrl-BELL: A Compiler-Driven Sub-Microsecond Feedback Control Stack for Scalable Trapped-Ion Quantum Experiments.

Junpeng She, Ruoyu Yan, Zhizhen Qin, Zhanyu Li, Zhongtao Shen, Zichao Zhou, Binxiang Qi, Luming Duan

CoRR, May, 2026

Intent-aligned Formal Specification Synthesis via Traceable Refinement.

Zhe Ye, Aidan Z. H. Yang, Huangyuan Su, Zhenyu Liao, Samuel Tenka, Zhizhen Qin, Udaya Ghai, Dawn Song, Soonho Kong

CoRR, April, 2026

2025

Warehouses with heterogeneous robots collaboration: operational policies and performance analysis.

Yuexin Kang, Rong Wang, Zhizhen Qin, Peng Yang, Yimo Yan

Int. J. Prod. Res., 2025

Order sequencing, tote scheduling, and robot routing optimization in multi-tote storage and retrieval autonomous mobile robot systems.

Huiwen Bai, Peng Yang, Zhizhen Qin, Mingyao Qi, Wangqi Xiong

Int. J. Prod. Res., 2025

Estimating Control Barriers from Offline Data.

Hongzhan Yu, Seth Farrell, Ryo Yoshimitsu, Zhizhen Qin, Henrik I. Christensen, Sicun Gao

Proceedings of the IEEE International Conference on Robotics and Automation, 2025

2024

Performance Analysis of Multi-Tote Storage and Retrieval Autonomous Mobile Robot Systems.

Zhizhen Qin, Peng Yang, Yeming Gong, René B. M. de Koster

Transp. Sci., 2024

Investigating unilateral and bilateral motor imagery control using electrocorticography and fMRI in awake craniotomy.

Jie Ma, Zhengsheng Li, Qian Zheng, Shichen Li, Rui Zong, Zhizhen Qin, Li Wan, Zhenyu Zhao, Zhiqi Mao, Yanyang Zhang, Xinguang Yu, Hongmin Bai, Jianning Zhang

NeuroImage, 2024

SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions.

Hongchao Zhang, Zhizhen Qin, Sicun Gao, Andrew Clark

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis.

Sander Tonkens, Alex Toofanian, Zhizhen Qin, Sicun Gao, Sylvia L. Herbert

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

Sample-and-Bound for Non-convex Optimization.

Yaoguang Zhai, Zhizhen Qin, Sicun Gao

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Patching Neural Barrier Functions Using Hamilton-Jacobi Reachability.

Sander Tonkens, Alex Toofanian, Zhizhen Qin, Sicun Gao, Sylvia L. Herbert

CoRR, 2023

2022

Policy Optimization with Advantage Regularization for Long-Term Fairness in Decision Systems.

Eric Yang Yu, Zhizhen Qin, Min Kyung Lee, Sicun Gao

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions.

Zhizhen Qin, Tsui-Wei Weng, Sicun Gao

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

2021

A novel tensor-information bottleneck method for multi-input single-output applications.

Liangfu Lu, Xiaohan Ren, Chenwei Cui, Zhiyuan Tan, Yulei Wu, Zhizhen Qin

Comput. Networks, 2021

Participatory Algorithmic Management: Elicitation Methods for Worker Well-Being Models.

Min Kyung Lee, Ishan Nigam, Angie Zhang, Joel Afriyie, Zhizhen Qin, Sicun Gao

Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021