113 citations · 124 across the 6 of their papers we have counts for
6 papers
Dynamical Model of Rotation and Orbital Coupling for Deimos
Kai Huang, Lijun Zhang, Yongzhang Yang +2
This paper introduces a novel dynamical model, building upon the existing dynamical model for Deimos in the current numerical ephemerides, which only encompasses the simple librati…
DeepCDCL: An CDCL-based Neural Network Verification Framework
Zongxin Liu, Pengfei Yang, Lijun Zhang +1
Neural networks in safety-critical applications face increasing safety and security concerns due to their susceptibility to little disturbance. In this paper, we propose DeepCDCL,…
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Pengfei Yang, Zhiming Chi, Zongxin Liu +4
Constraint solving is an elementary way for verification of deep neural networks (DNN). In the domain of AI safety, a DNN might be modified in its structure and parameters for its…
Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition
Yong Li, Andrea Turrini, Weizhi Feng +2
The determinization of a nondeterministic Büchi automaton (NBA) is a fundamental construction of automata theory, with applications to probabilistic verification and reactive synth…
LTLf satisfiability checking
Jianwen Li, Lijun Zhang, Geguang Pu +2
We consider here Linear Temporal Logic (LTL) formulas interpreted over \emph{finite} traces. We denote this logic by LTLf. The existing approach for LTLf satisfiability checking is…
Field test of the wavelength-saving quantum key distribution network
Shuang Wang, Wei Chen, Zhen-Qiang Yin +13
We propose a wavelength-saving topology of quantum key distribution(QKD) network based on passive optical elements, and report the field test of this network on the commercial tele…