• Publications
  • Influence
Homing with stereovision
Visual Homing is a navigation method based on comparing a stored image of a goal location to the current image to determine how to navigate to the goal location. It is theorized that insects such asExpand
  • 11
  • 2
  • Open Access
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 massExpand
  • 23
  • 1
  • Open Access
Verifying Performance for Autonomous Robot Missions with Uncertainty
Abstract Establishing performance guarantees for robot missions is especially important for C-WMD applications. Software verification techniques, such as model checking (Clark 1999, Jhala & MajumdarExpand
  • 20
  • 1
  • Open Access
Navigation of uncertain terrain by fusion of information from real and synthetic imagery
We consider the scenario where an autonomous platform that is searching or traversing a building may observe unstable masonry or may need to travel over unstable rubble. A purely behaviour-basedExpand
  • 6
  • 1
  • Open Access
Performance Verification for Behavior-Based Robot Missions
Certain robot missions need to perform predictably in a physical environment that may have significant uncertainty. One approach is to leverage automatic software verification techniques to establishExpand
  • 19
  • Open Access
Getting it right the first time: Robot mission guarantees in the presence of uncertainty
Certain robot missions need to perform predictably in a physical environment that may only be poorly characterized in advance. We have previously developed an approach to establishing performanceExpand
  • 16
  • Open Access
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees
Deploying a robot as part of a counter-weapons of mass destruction mission demands that the robotic software operates with high assurance. A unique feature of robotic software development is the needExpand
  • 10
  • Open Access
A Survey on Geographical Routing Strategies in VANET
Vehicular Ad Hoc Network is an emerging technology nowadays which plays vital role in case of vehicular communication. It allows vehicles on the road to form network and communicate with each otherExpand
  • 3
Visual homing with a pan-tilt based stereo camera
Visual homing is a navigation method based on comparing a stored image of the goal location and the current image (current view) to determine how to navigate to the goal location. It is theorizedExpand
  • 1
  • Open Access