Showing 2020Show all
3 papers · 1 filter
cs.RO2020
Evaluating the Potential of Drone Swarms in Nonverbal HRI Communication
Kasper Grispino, Damian Lyons, Truong-Huy Nguyen
Human-to-human communications are enriched with affects and emotions, conveyed, and perceived through both verbal and nonverbal communication. It is our thesis that drone swarms ca…
cs.RO2020
Using Taint Analysis and Reinforcement Learning (TARL) to Repair Autonomous Robot Software
D. M. Lyons, S. Zahra
It is important to be able to establish formal performance bounds for autonomous systems. However, formal verification techniques require a model of the environment in which the sy…
cs.RO2020
A Monte Carlo Approach to Closing the Reality Gap
Damian Lyons, James Finocchiaro, Michael Novitzky +1
We propose a novel approach to the 'reality gap' problem, i.e., modifying a robot simulation so that its performance becomes more similar to observed real world phenomena. This pro…