Mingguang Hu

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Linear Support Vector Machines

Class Membership Probabilities

Chi Square Test

Logistic Regression

Top Venues

Int. J. Comput. Sci. Eng.

Publications

Mingguang Hu, Zining Cao, Fujun Wang, Weiwei Lu
Counterexample generation in CPS model checking based on ARSG algorithm. Int. J. Comput. Sci. Eng. 24 (3) (2021)
Mingguang Hu, Zining Cao
LRx: Specification Mining based on Logistic Regression. ICMSS (2020)