7 citations · 19 across the 7 of their papers we have counts for
7 papers
Fictitious play for cooperative action selection in robot teams
Michalis Smyrnakis, Sandor M. Veres
A game theoretic distributed decision making approach is presented for the problem of control effort allocation in a robotic team based on a novel variant of fictitious play. The p…
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…
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…
Dynamical Behavior Investigation and Analysis of Novel Mechanism for Simulated Spherical Robot named "RollRoller"
Seyed Amir Tafrishi, Sandor M. Veres, Esmaeil Esmaeilzadeh +1
This paper introduces a simulation study of fluid actuated multi-driven closed system as spherical mobile robot called "RollRoller". Robot's mechanism design consists of two essent…
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods
Murray L. Ireland, Ruth Hoffmann, Alice Miller +2
If autonomous vehicles are to be widely accepted, we need to ensure their safe operation. For this reason, verification and validation (V&V) approaches must be developed that are s…