8 citations · 8 across the 5 of their papers we have counts for
5 papers
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…
Model Cards for AI Teammates: Comparing Human-AI Team Familiarization Methods for High-Stakes Environments
Ryan Bowers, Richard Agbeyibor, Jack Kolb +1
We compare three methods of familiarizing a human with an artificial intelligence (AI) teammate ("agent") prior to operation in a collaborative, fast-paced intelligence, surveillan…
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…
Improving Operator Situation Awareness when Working with AI Recommender Systems
Divya K. Srivastava, J. Mason Lilly, Karen M. Feigh
AI recommender systems are sought for decision support by providing suggestions to operators responsible for making final decisions. However, these systems are typically considered…
Converging Measures and an Emergent Model: A Meta-Analysis of Human-Automation Trust Questionnaires
Yosef S. Razin, Karen M. Feigh
A significant challenge to measuring human-automation trust is the amount of construct proliferation, models, and questionnaires with highly variable validation. However, all agree…