Ankit Shah

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 12

Top Topics

Linear Temporal Logic

Classical Planning

Temporally Extended Goals

Top Venues

IEEE Robotics Autom. Lett.

AAAI Fall Symposia

IEEE Trans Autom. Sci. Eng.

Publications

Ankit Shah, Pritish Kamath, Shen Li, Patrick L. Craven, Kevin J. Landers, Kevin Oden, Julie Shah
Supervised Bayesian specification inference from demonstrations. Int. J. Robotics Res. 42 (14) (2023)
Yanwei Wang, Nadia Figueroa, Shen Li, Ankit Shah, Julie Shah
Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations. CoRL (2022)
Yanwei Wang, Nadia Figueroa, Shen Li, Ankit Shah, Julie Shah
Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations. CoRR (2022)
Serena Booth, Yilun Zhou, Ankit Shah, Julie Shah
Bayes-TrEx: a Bayesian Sampling Approach to Model Transparency by Example. AAAI (2021)
Serena Booth, Ankit Shah, Yilun Zhou, Julie Shah
Sampling Prediction-Matching Examples in Neural Networks: A Probabilistic Programming Approach. CoRR (2020)
Ankit Shah, Shen Li, Julie Shah
Planning With Uncertain Specifications (PUnS). IEEE Robotics Autom. Lett. 5 (2) (2020)
Ankit Shah, Julie Shah
Interactive Robot Training for Non-Markov Tasks. CoRR (2020)
Ankit Shah, Shen Li, Julie Shah
Planning With Uncertain Specifications (PUnS). CoRR (2019)
Joseph Kim, Christian Muise, Ankit Shah, Shubham Agarwal, Julie Shah
Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations. IJCAI (2019)
Ankit Shah, Pritish Kamath, Julie A. Shah, Shen Li
Bayesian Inference of Temporal Task Specifications from Demonstrations. NeurIPS (2018)
Ankit Shah, Lotta Blumberg, Julie A. Shah
Planning for Manipulation of Interlinked Deformable Linear Objects With Applications to Aircraft Assembly. IEEE Trans Autom. Sci. Eng. 15 (4) (2018)
Matthew C. Gombolay, Ankit Shah
Appraisal of Statistical Practices in HRI vis-a-vis the T-Test for Likert Items/Scales. AAAI Fall Symposia (2016)