7 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.GT2016
SMCL - Stochastic Model Checker for Learning in Games
Hongyang Qu, Michalis Smyrnakis, Sandor M. Veres
A stochastic model checker is presented for analysing the performance of game-theoretic learning algorithms. The method enables the comparison of short-term behaviour of learning a…
cs.RO2016
Testing, Verification and Improvements of Timeliness in ROS processes
Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres
This paper addresses the problem of improving response times of robots implemented in the Robotic Operating System (ROS) using formal verification of computational-time feasibility…
cs.RO2016★ 7 cited
Verification of Logical Consistency in Robotic Reasoning
Hongyang Qu, Sandor M. Veres
Most autonomous robotic agents use logic inference to keep themselves to safe and permitted behaviour. Given a set of rules, it is important that the robot is able to establish the…