Karen M. Feigh

1. Mixed-Initiative Human-Robot Teaming under Suboptimality with Online Bayesian Adaptation
   2024/03/24 by Manisha Natarajan, Natarajan, Manisha, Chunyue Xue +7 · 2 citations
   Psychology · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Human-Automation Interaction and Safety #Robotics (cs.RO)
2. LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
   2024/04/01 by Jiming Ren, Haris Miller, Ren, Jiming +7 · 3 citations
   Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Model-Driven Software Engineering Techniques