Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Hongyang Qu
Researcher
PaperVerification of Logical Consistency in Robotic ReasoningAuthorship / preprint / 2016PaperSMCL - Stochastic Model Checker for Learning in GamesAuthorship / preprint / 2016PaperReducing complexity of autonomous control agents for verifiabilityAuthorship / preprint / 2016PaperTesting, Verification and Improvements of Timeliness in ROS processesAuthorship / preprint / 2016PaperA stochastically verifiable autonomous control architecture with reasoningAuthorship / preprint / 2016PaperReasoning about Strategies under Partial Observability and Fairness ConstraintsAuthorship / preprint / 2013