Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.

Y. Wang, C. Huang, Z. Wang, Z. Wang, and Q. Zhu. CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Qi Zhu

Qi Qi

Qi Li

Fei Qi

Qi Xu

Other publications of authors with the same name

Cross-spectral palmprint recognition with low-rank canonical correlation analysis.Q. Zhu, N. Xu, Z. Zhang, D. Guan, R. Wang, and D. Zhang. Multim. Tools Appl., 79 (45-46): 33771-33792 (2020)Latency Minimization for Advanced RSMA-Enabled Wireless Caching Networks.Y. Hua, Y. Fu, and Q. Zhu. IEEE Wirel. Commun. Lett., 12 (8): 1329-1333 (August 2023)Optical and Acoustic Fusion in Borehole Imaging Logging.J. Li, L. Liang, Y. Gong, A. He, Q. Zhu, and X. Gao. IGARSS, page 2852-2855. IEEE, (2022)Connectivity Enhanced Safe Neural Network Planner for Lane Changing in Mixed Traffic.X. Liu, R. Jiao, B. Zheng, D. Liang, and Q. Zhu. AAMAS, page 2568-2570. ACM, (2023)Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments.Y. Wang, S. Zhan, R. Jiao, Z. Wang, W. Jin, Z. Yang, Z. Wang, C. Huang, and Q. Zhu. ICML, volume 202 of Proceedings of Machine Learning Research, page 36593-36604. PMLR, (2023)Efficient octilinear Steiner tree construction based on spanning graphs.Q. Zhu, H. Zhou, T. Jing, X. Hong, and Y. Yang. ASP-DAC, page 687-690. IEEE Computer Society, (2004)Integrating Local Context and Global Cohesiveness for Open Information Extraction.Q. Zhu, X. Ren, J. Shang, Y. Zhang, A. El-Kishky, and J. Han. WSDM, page 42-50. ACM, (2019)Proactive demand participation of heterogeneous flexible loads in smart grid.T. Wei, and Q. Zhu. IGSC, page 1-2. IEEE Computer Society, (2015)High-precision motion control method and practice for autonomous driving in complex off-road environments.Z. Sun, Z. Huang, Q. Zhu, X. Li, and D. Liu. Intelligent Vehicles Symposium, page 767-773. IEEE, (2016)A Simple Brightness and Color Control Method for LED Lighting Based on Wireless Power Transfer.Z. Yan, Q. Siyao, Q. Zhu, L. Huang, and A. Hu. IEEE Access, (2018)

BibSonomy

Disambiguation of "Zhu, Qi"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.

Please choose a person to relate this publication to

Qi Zhu

Qi Qi

Qi Li

Fei Qi

Qi Xu

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Zhu, Qi"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.

Please choose a person to relate this publication to

Qi Zhu

Qi Qi

Qi Li

Fei Qi

Qi Xu

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.