Hongyang Qu

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

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