Julie Shah

Latest

• Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations
• Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations
• Supervised Bayesian Specification Inference from Demonstrations
• 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