7 citations · 19 across the 7 of their papers we have counts for
4 papers · 1 filter
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…