Hongyang Qu

Identifiers

• name variant Hongyang Qu 0.60 · backfill

Papers (6)

1. Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report) q-bio.MN · 2017 · author #3
2. A stochastically verifiable autonomous control architecture with reasoning cs.RO · 2016 · author #2
3. SMCL - Stochastic Model Checker for Learning in Games cs.GT · 2016 · author #1
4. Testing, Verification and Improvements of Timeliness in ROS processes cs.RO · 2016 · author #2
5. Verification of Logical Consistency in Robotic Reasoning cs.RO · 2016 · author #1
6. Reducing complexity of autonomous control agents for verifiability cs.SY · 2016 · author #2

Mentions

• 1611.03372 #2 · arxiv_oai · confidence 0.70 Hongyang Qu
• 1603.01202 #2 · arxiv_oai · confidence 0.70 Hongyang Qu

Frequent Coauthors

• Sandor M. Veres 5 shared papers
• Paolo Izzo 2 shared papers
• Andrzej Mizera 1 shared papers
• Jun Pang 1 shared papers
• Michalis Smyrnakis 1 shared papers
• Mohammed Y. Hazim 1 shared papers
• Qixia Yuan 1 shared papers