activity
20112025
most citedConverging Measures and an Emergent Model: A Meta-Analysis of Human-Automation Trust Questionnaires

8 citations · 18 across the 10 of their papers we have counts for

collaborators
Showing cs.ROShow all

5 papers · 1 filter

cs.RO2025

Adaptive Obstacle-Aware Task Assignment and Planning for Heterogeneous Robot Teaming

Nan Li, Jiming Ren, Haris Miller +3

Multi-Agent Task Assignment and Planning (MATP) has attracted growing attention but remains challenging in terms of scalability, spatial reasoning, and adaptability in obstacle-ric…

cs.RO2025

Accelerating Signal-Temporal-Logic-Based Task and Motion Planning of Bipedal Navigation using Benders Decomposition

Jiming Ren, Xuan Lin, Roman Mineyev +3

Task and motion planning under Signal Temporal Logic constraints is known to be NP-hard. A common class of approaches formulates these hybrid problems, which involve discrete task…

cs.RO2024

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications

Jiming Ren, Haris Miller, Karen M. Feigh +2

This paper presents an incremental replanning algorithm, dubbed LTL-D*, for temporal-logic-based task planning in a dynamically changing environment. Unexpected changes in the envi…

cs.RO2024★ 3 cited

Inferring Belief States in Partially-Observable Human-Robot Teams

Jack Kolb, Karen M. Feigh

We investigate the real-time estimation of human situation awareness using observations from a robot teammate with limited visibility. In human factors and human-autonomy teaming,…

cs.RO2018★ 3 cited

Effects of Interruptibility-Aware Robot Behavior

Siddhartha Banerjee, Andrew Silva, Karen Feigh +1

As robots become increasingly prevalent in human environments, there will inevitably be times when a robot needs to interrupt a human to initiate an interaction. Our work introduce…