59 citations · 457 across the 92 of their papers we have counts for
5 papers · 2 filters
Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design
Craig Innes, Subramanian Ramamoorthy
Many robot control scenarios involve assessing system robustness against a task specification. If either the controller or environment are composed of "black-box" components with u…
Attainment Regions in Feature-Parameter Space for High-Level Debugging in Autonomous Robots
Simón C. Smith, Subramanian Ramamoorthy
Understanding a controller's performance in different scenarios is crucial for robots that are going to be deployed in safety-critical tasks. If we do not have a model of the dynam…
Interpretable Goal Recognition in the Presence of Occluded Factors for Autonomous Vehicles
Josiah P. Hanna, Arrasy Rahman, Elliot Fosong +5
Recognising the goals or intentions of observed vehicles is a key step towards predicting the long-term future behaviour of other agents in an autonomous driving scenario. When the…
Learning Time-Invariant Reward Functions through Model-Based Inverse Reinforcement Learning
Todor Davchev, Sarah Bechtle, Subramanian Ramamoorthy +1
Inverse reinforcement learning is a paradigm motivated by the goal of learning general reward functions from demonstrated behaviours. Yet the notion of generality for learnt costs…
Formation Control for UAVs Using a Flux Guided Approach
John Hartley, Hubert P. H. Shum, Edmond S. L. Ho +2
Existing studies on formation control for unmanned aerial vehicles (UAV) have not considered encircling targets where an optimum coverage of the target is required at all times. Su…