← authors · overview

• Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots
  2022 · 5 citations
• Automated Robot Recovery from Assumption Violations of High-Level Specifications
  2024 · 3 citations
• Resource-Performance Trade-off Analysis for Mobile Robot Design
  2016 · 2 citations
• Guaranteed Encapsulation of Targets with Unknown Motion by a Minimalist Robotic Swarm
  2023 · 2 citations
• A Careful Examination of Large Behavior Models for Multitask Dexterous Manipulation
  2025 · 1 citations
• Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion
  2025
• Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair
  2025
• An Integrated System for Perception-Driven Autonomy with Modular Robots
  2017
• Perception-Informed Autonomous Environment Augmentation With Modular Robots
  2017
• Formalizing and Guaranteeing* Human-Robot Interaction
  2020
• Continuous Execution of High-Level Collaborative Tasks for Heterogeneous Robot Teams
  2024
• Online Resynthesis of High-Level Collaborative Tasks for Robots with Changing Capabilities
  2024
• Robot Learning as an Empirical Science: Best Practices for Policy Evaluation
  2024