• Publications
  • Influence
Verifying Performance for Autonomous Robot Missions with Uncertainty
tl;dr
We propose an approach to verifying robot missions that shifts the focus from state-based analysis onto the solution of a set of flow equations. Expand
  • 20
  • 1
Leveraging area bounds information for autonomous decentralized multi-robot exploration
tl;dr
This paper proposes a simple and uniform, decentralized approach to the problem of dispersing a team of robots to explore an area quickly. Expand
  • 10
  • 1
Leveraging Area Bounds Information for Autonomous Multirobot Exploration
tl;dr
We propose an approach, the Space-Based Potential Field (SBPF) approach, to control multiple robots for area exploration missions that focus on robot dispersion. Expand
  • 5
  • 1
Performance Verification for Behavior-Based Robot Missions
tl;dr
We show that a flow function can be mapped to an equivalent Bayesian Network, and that the problem of determining whether a mission will achieve its performance guarantee can be reduced to a filtering problem for a Bayesian network. Expand
  • 19
Mechanism of Interleukin-4 Reducing Lipid Deposit by Regulating Hormone-Sensitive Lipase
Accumulating evidence indicates that inflammation participates in the pathophysiological progress from insulin resistance, obesity, metabolic abnormalities, and type 2 diabetes mellitus. Our previousExpand
  • 6
Getting it right the first time: Robot mission guarantees in the presence of uncertainty
tl;dr
We show how to generate a Dynamic Bayesian Network for the coupled system of program and environment model that captures behavior-based programming well and avoids explicit state: concurrent interacting systems of TR processes. Expand
  • 16
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees
tl;dr
We present an approach to building high assurance software for robot missions carried out in uncertain environments. Expand
  • 10
Fusion of ranging data from robot teams operating in confined areas
We address the problem of fusing laser ranging data from multiple mobile robots that are surveying an area as part of a robot search and rescue or area surveillance mission. We are specificallyExpand
  • 4
Performance guarantees for C-WMD robot missions
tl;dr
Robotics has been considered as one of the five key technology areas for defense against attacks with weapons of mass destruction. Expand
  • 6
Junior High School Students’ Perceptions of Service Learning for Admission to High School☆
Abstract The Twelve-Year Basic Education Program in Taiwan tries to shift the test-centered pedagogy to a more holistic-education one by including service learning in the ‘excess applicationExpand
  • 2