6 citations · 16 across the 14 of their papers we have counts for
3 papers · 1 filter
Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation
Salman Omar Sohail, Alex Mitrevski, Nico Hochgeschwender +1
An important prerequisite for the reliability and robustness of a service robot is ensuring the robot's correct behavior when it performs various tasks of interest. Extensive testi…
Ontology-Assisted Generalisation of Robot Action Execution Knowledge
Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
When an autonomous robot learns how to execute actions, it is of interest to know if and when the execution policy can be generalised to variations of the learning scenarios. This…
Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models
Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
When faced with an execution failure, an intelligent robot should be able to identify the likely reasons for the failure and adapt its execution policy accordingly. This paper addr…