Skip to search formSkip to main contentSkip to account menu
Mixed-Initiative Human-Robot Interaction: Definition, Taxonomy, and Survey
  • Shu Jiang, R. Arkin
  • Business
    IEEE International Conference on Systems, Man…
  • 1 October 2015
TLDR
The goal of the taxonomy is to inform the design of mixed-initiative human-robot systems by identifying key elements of these systems by examining the state of practice along each taxonomical dimension.
View on IEEE
Automatic Verification of Autonomous Robot Missions
TLDR
This paper overviews a software system for the verification of behavior-based controllers in context of chosen hardware and environmental models and demonstrates accurate verification for a mission related to the search for a biohazard.
View via Publisher
Heterogeneous Ground and Air Platforms, Homogeneous Sensing: Team CSIRO Data61's Approach to the DARPA Subterranean Challenge
TLDR
The solution developed by Team CSIRO Data61, consisting of CSIRO, Emesent, and Georgia Tech, during the DARPA Subterranean Challenge is described, which enabled a shift in focus from constructing a pervasive communications network to relying on multi-agent autonomy.
View PDF on arXiv
Verifying Performance for Autonomous Robot Missions with Uncertainty
TLDR
This work proposes an approach to verifying robot missions that shifts the focus from state-based analysis onto the solution of a set of flow equations (Lyons et al. 2012), and presents three validation results that show this approach has strong predictive power; that is, that the verifications it produces can be trusted.
View via Publisher
Designing autonomous robot missions with performance guarantees
This paper describes the need and methods required to construct an integrated software verification and mission specification system for use in robotic missions intended for counter-weapons of mass…
View on IEEE
Performance verification for robot missions in uncertain environments
View via Publisher
Online 3D Frontier-Based UGV and UAV Exploration Using Direct Point Cloud Visibility
TLDR
This paper presents a new approach that addresses the complexity of operating in 3D by directly modelling the boundary between observed free and unobserved space (the frontier), rather than utilising dense 3D volumetric representations.
View on IEEE
Autonomous Driving Trajectory Optimization With Dual-Loop Iterative Anchoring Path Smoothing and Piecewise-Jerk Speed Optimization
This letter presents a free space trajectory optimization algorithm for autonomous driving, which decouples the collision-free trajectory generation problem into a Dual-Loop Iterative Anchoring Path…
View on IEEE
TDR-OBCA: A Reliable Planner for Autonomous Driving in Free-Space Environment
TLDR
This paper presents an optimization-based collision avoidance trajectory generation method for autonomous driving in free-space environments, with enhanced robustness, driving comfort and efficiency, and names it TDR-OBCA to improve the robustness and efficiency.
View on IEEE
Performance Verification for Behavior-Based Robot Missions
TLDR
An approach based on behavior-based controllers in a process-algebra framework that avoids state-space combinatorics is presented here, and verification of the robot program in the uncertain environment is reduced to a filtering problem for a Bayesian network.
View via Publisher
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License