Shashank Pathak

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 10

Top Topics

Stochastic Models

Control Policies

Reinforcement Learning

Top Venues

Publications

Shashank Pathak
GFLean: An Autoformalisation Framework for Lean via GF. CoRR (2024)
Amir Aly, Shashank Pathak, Sean Andrist, Armando Tacchella
Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation. Cogn. Syst. Res. 58 (2019)
Shashank Pathak, Suvam Bag, Vijay Nadkarni
A Generalised Method for Adaptive Longitudinal Control Using Reinforcement Learning. IAS (2018)
Shashank Pathak, Luca Pulina, Armando Tacchella
Verification and repair of control policies for safe reinforcement learning. Appl. Intell. 48 (4) (2018)
Shashank Pathak, Antony Thomas, Vadim Indelman
A unified framework for data association aware robust belief space planning and perception. Int. J. Robotics Res. 37 (2-3) (2018)
Shashank Pathak, Antony Thomas, Vadim Indelman
Nonmyopic data association aware belief space planning for robust active perception. ICRA (2017)
Shashank Pathak, Sadegh Esmaeil Zadeh Soudjani, Vadim Indelman, Alessandro Abate
Formal and Data Association Aware Robust Belief Space Planning. STAIRS (2016)
Shashank Pathak, Antony Thomas, Asaf Feniger, Vadim Indelman
Robust Active Perception via Data-association aware Belief Space planning. CoRR (2016)
Shashank Pathak, Luca Pulina, Armando Tacchella
Evaluating probabilistic model checking tools for verification of robot control policies. AI Commun. 29 (2) (2016)
Shashank Pathak, Antony Thomas, Asaf Feniger, Vadim Indelman
DA-BSP: Towards Data Association Aware Belief Space Planning for Robust Active Perception. ECAI (2016)
Shashank Pathak, Luca Pulina, Armando Tacchella
Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. AI*IA (2015)
Shashank Pathak, Luca Pulina, Armando Tacchella
A Case for Robust AI in Robotics. AIRO@AI*IA (2015)
Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen
A Greedy Approach for the Efficient Repair of Stochastic Models. NFM (2015)
Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella
Engineering Approaches and Methods to Verify Software in Autonomous Systems. IAS (2014)
Shashank Pathak, Giorgio Metta, Armando Tacchella
Is verification a requisite for safe adaptive robots? SMC (2014)
Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub. IROS (2013)
Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella
How to Abstract Intelligence? (If Verification Is in Order). AAAI Fall Symposia (2013)
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella
Safe and effective learning: A case study. ICRA (2010)
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella
Safe Learning with Real-Time Constraints: A Case Study. IEA/AIE (1) (2010)