Miaomiao Zhang

Reluplex made more practical: Leaky ReLU

Jin Xu, Zishan Li, Bowen Du et al. · 2020 · 388 citations

Computing, Computer Engineering, Computer Science +7

Learning Nondeterministic Real-Time Automata

Jie An, Bohua Zhan, Naijun Zhan et al. · ACM Transactions on Embedded Computing Systems · 2021 · 48 citations · Full text

Computing, Computer Engineering, Computer Science +15

Accelerating noise-tolerant zeroing neural network with fixed-time convergence to solve the time-varying Sylvester equation

Miaomiao Zhang, Bing Zheng · Automatica · 2021 · 36 citations

Natural Sciences, Electrical Engineering, Mathematics +11

Learning real-time automata

Jie An, Lingtai Wang, Bohua Zhan et al. · Science China Information Sciences · 2021 · 19 citations

PAC Model Checking of Black-Box Continuous-Time Dynamical Systems

Xue Bai, Miaomiao Zhang, Arvind Easwaran et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2020 · 18 citations

Computing, Computer Science, Systems Engineering +11