**Ankit Shah**

Latest

• Lang2LTL: Translating Natural Language Commands to Temporal Specification with Large Language Models
• Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations
• Leveraging Temporal Structure in Task Specifications for POMDP Planning
• Skill Transfer for Temporally-Extended Task Specifications
• Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations
• Supervised Bayesian Specification Inference from Demonstrations
• Interactive Robot Training for Complex Tasks
• Provably Safe and Efficient Motion Planning with Uncertain Human Dynamics
• Bayes-TrEx: a Bayesian Sampling Approach to Model Transparency by Example
• Interactive Robot Training for Temporal Tasks
• Interactive Robot Training for Non-Markov Tasks
• Planning With Uncertain Specifications (PUnS)
• Sampling Prediction-Matching Examples in Neural Networks: a Probabilistic Programming Approach
• Man-Machine Interoperation in Training for Large Force Exercise Air Missions
• Notions of Safety with Uncertainty in Specifications
• Planning with Uncertain Specifications
• Planning with Uncertain Specifications
• Planning With Uncertain Specifications (PUnS)
• Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations
• Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations
• Bayesian Inference of Temporal Specifications to Explain How Plans Differ
• Bayesian Inference of Temporal Specifications to Explain How Plans Differ
• Notions of Safety with Uncertainty in Specifications
• Supervised Bayesian Specification Inference from Demonstrations
• Man-machine interoperation in training for offensive counter air missions
• Bayesian Inference of Temporal Task Specifications from Demonstrations
• Bayesian Inference of Temporal Task Specifications from Demonstrations
• Planning for Manipulation of Interlinked Deformable Linear Objects With Applications to Aircraft Assembly
• Planning for Manipulation of Interlinked Deformable Linear Objects With Applications to Aircraft Assembly
• Towards Specification Learning from Demonstrations
• Towards Specification Learning from Demonstrations
• Appraisal of Statistical Practices in HRI vis-a-vis the T-Test for Likert Items/Scales
• Appraisal of Statistical Practices in HRI vis-a-vis the T-Test for Likert Items/Scales
• Planning for Manipulation of Interlinked Deformable Linear Objects With Applications to Aircraft Assembly
• Planning for Manipulation of Interlinked Deformable Linear Objects With Applications to Aircraft Assembly