No photo of Hua Mao

Hua Mao

Dr

20152016
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 2 Similar Profiles
Model checking Engineering & Materials Science
Scalability Engineering & Materials Science
Learning algorithms Engineering & Materials Science
Temporal logic Engineering & Materials Science
Decision making Engineering & Materials Science
Hardware Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2015 2016

7 Downloads (Pure)

Learning deterministic probabilistic automata from a model checking perspective

Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 18 May 2016, In : Machine Learning. 105, 2, p. 255-299

Research output: Contribution to journalArticleResearchpeer-review

File
Model checking
Learning algorithms
Temporal logic
Hardware
5 Downloads (Pure)

Approximating behavioral equivalence for scaling solutions of I-DIDs

Zeng, Y., Doshi, P., Chen, Y., Pan, Y., Mao, H. & Chandrasekaran, M., 30 Dec 2015, In : Knowledge and Information Systems. 49, 2, p. 511-552

Research output: Contribution to journalArticleResearchpeer-review

Scalability
Decision making
Uncertainty