Hengjun Zhao

40 papers A* 1B 9C 1Misc 2Journal 17Unranked 8
YearRankTypeTitle / Venue / Authors
2025 A* conf
Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding.
AAAI
Mingyue Zhang, Nianyu Li, Yi Chen, Jialong Li, Xiaoyi Zhang, Hengjun Zhao, Jiamou Liu, Wu Chen
2023 B conf
HQProtoPNet: An Evidence-Based Model for Interpretable Image Recognition.
IJCNN
Jingqi Wang, Jiajie Peng, Zhiming Liu, Hengjun Zhao
2022 B conf
Automatic Lumbar Vertebra Landmark Localization and Segmentation for Pedicle Screw Placement.
ICPR
Yike Cheng, Ji-Le Jiang, Ning Zhang, Hengjun Zhao, Zhiming Liu
2022 J jnl
Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS.
Int. J. Softw. Informatics
Hengjun Zhao, Quanzhong Li, Xia Zeng, Zhiming Liu
2021 J jnl
Learning safe neural network controllers with barrier certificates.
Formal Aspects Comput.
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
2020 J jnl
Design and Development of Human Computer Interface Using Electrooculogram with Deep Learning.
Artif. Intell. Medicine
Ge-Er Teng, Yue He, Hengjun Zhao, Dunhu Liu, Jin Xiao, S. Ramkumar
2020 Misc conf
Learning Safe Neural Network Controllers with Barrier Certificates.
SETTA
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
2020 J jnl
Learning Safe Neural Network Controllers with Barrier Certificates.
CoRR
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
2020 B conf
Legendre Based Adaptive Image Segmentation Combining The Gradient Information.
ICIP
Jiajie Zhu, Bin Fang, Mingliang Zhou, Hengjun Zhao, Futing Luo
2020 — conf
Synthesizing barrier certificates using neural networks.
HSCC
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu
2019 J jnl
No-reference image sharpness assessment via difference quotients.
J. Electronic Imaging
Jiye Qian, Hengjun Zhao, Jin Fu, Wei Song, Jide Qian, Qianbo Xiao
2019 C conf
Probably Approximate Safety Verification of Hybrid Dynamical Systems.
ICFEM
Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran
2018 — conf
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.
ARCH@ADHS
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan
2018 J jnl
基于机器视觉的液晶屏Mura缺陷检测方法 (Machine Vision Based Inspection Method of Mura Defect for LCD).
计算机科学
Jide Qian, Bin Chen, Jiye Qian, Hengjun Zhao, Gang Chen
2017 J jnl
China's energy consumption forecasting by GMDH based auto-regressive model.
J. Syst. Sci. Complex.
Ling Xie, Jin Xiao, Yi Hu, Hengjun Zhao, Yi Xiao
2017 — book
Formal Verification of Simulink/Stateflow Diagrams, A Deductive Approach.
Naijun Zhan, Shuling Wang, Hengjun Zhao
2017 — ch.
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.
Provably Correct Systems
Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou
2017 — conf
No-reference image sharpness metric based on directional derivatives.
SPAC
Jiye Qian, Hengjun Zhao, Jin Fu, Guojun He, Xingzhe Hou, Bin Fang, Jide Qian
2015 B conf
Abstraction of Elementary Hybrid Systems by Variable Transformation.
FM
Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou
2014 J jnl
Abstraction of Elementary Hybrid Systems by Variable Transformation.
CoRR
Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou
2014 J jnl
Discovering non-terminating inputs for multi-path polynomial programs.
J. Syst. Sci. Complex.
Jiang Liu, Ming Xu, Naijun Zhan, Hengjun Zhao
2014 B conf
Formal Verification of a Descent Guidance Control Program of a Lunar Lander.
FM
Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen
2013 B conf
A no-reference image sharpness estimation based on expectation of wavelet transform coefficients.
ICIP
Hengjun Zhao, Bin Fang, Yuan Yan Tang
2013 — conf
Formal Modelling, Analysis and Verification of Hybrid Systems.
ICTAC Training School on Software Engineering
Naijun Zhan, Shuling Wang, Hengjun Zhao
2013 — conf
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants.
Automated Reasoning and Mathematics
Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen
2013 J jnl
Multi-focus image fusion based on the neighbor distance.
Pattern Recognit.
Hengjun Zhao, Zhaowei Shang, Yuan Yan Tang, Bin Fang
2013 J jnl
Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation
CoRR
Deepak Kapur, Naijun Zhan, Hengjun Zhao
2013 — conf
Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants.
Theories of Programming and Formal Methods
Hengjun Zhao, Naijun Zhan, Deepak Kapur
2012 J jnl
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
CoRR
Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen
2012 B conf
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example.
FM
Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen
2012 J jnl
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems.
Math. Comput. Sci.
Jiang Liu, Naijun Zhan, Hengjun Zhao
2012 — conf
Generalized Filled Function for Global Continuous Optimization Problems.
CSO
Yanxia Niu, Hengjun Zhao
2012 J jnl
Image Fusion Method Based on Multi-Directional Support Value Transform.
Int. J. Wavelets Multiresolution Inf. Process.
Zhaowei Shang, Lingfeng Zhang, Hengjun Zhao, Lan Zhang
2012 J jnl
Logarithmically Improved Blow up Criterion for Smooths Solution to the 3D Micropolar Fluid Equations.
J. Appl. Math.
Yin-Xia Wang, Hengjun Zhao
2012 B conf
Visual saliency estimation using support value transform.
ICIP
Weibin Yang, Bin Fang, Yuan Yan Tang, Zhaowei Shang, Hengjun Zhao
2011 J jnl
A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems
CoRR
Jiang Liu, Naijun Zhan, Hengjun Zhao
2011 J jnl
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems
CoRR
Jiang Liu, Naijun Zhan, Hengjun Zhao
2011 Misc conf
Computing semi-algebraic invariants for polynomial dynamical systems.
EMSOFT
Jiang Liu, Naijun Zhan, Hengjun Zhao
2010 B conf
A Calculus for Hybrid CSP.
APLAS
Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou
2009 — conf
Objective Cluster Analysis in Value-Based Customer Segmentation Method.
WKDD
Hengjun Zhao, Changzheng He