7 citations · 18 across the 8 of their papers we have counts for
5 papers · 1 filter
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…
A stochastically verifiable autonomous control architecture with reasoning
Paolo Izzo, Hongyang Qu, Sandor M. Veres
A new agent architecture called Limited Instruction Set Agent (LISA) is introduced for autonomous control. The new architecture is based on previous implementations of AgentSpeak a…
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…
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…
Reducing complexity of autonomous control agents for verifiability
Paolo Izzo, Hongyang Qu, Sandor M. Veres
The AgentSpeak type of languages are considered for decision making in autonomous control systems. To reduce the complexity and increase the verifiability of decision making, a lim…