GFLean: An Autoformalisation Framework for Lean via GF. - Pathak, Shashank (CoRR, 2024)

Pre-trained protein language model for codon optimization. - Pathak, Shashank; Lin, Guohui (CoRR, 2024)

Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation. - Aly, Amir; Pathak, Shashank; Andrist, Sean; Tacchella, Armando (Cogn. Syst. Res., 2019)

Verification and repair of control policies for safe reinforcement learning. - Pathak, Shashank; Pulina, Luca; Tacchella, Armando (Appl. Intell., 2018)

A unified framework for data association aware robust belief space planning and perception. - Pathak, Shashank; Thomas, Antony; Indelman, Vadim (Int. J. Robotics Res., 2018)

A Generalised Method for Adaptive Longitudinal Control Using Reinforcement Learning. - Pathak, Shashank; Bag, Suvam; Nadkarni, Vijay (2018)

Nonmyopic data association aware belief space planning for robust active perception. - Pathak, Shashank; Thomas, Antony; Indelman, Vadim (2017)

Evaluating probabilistic model checking tools for verification of robot control policies. - Pathak, Shashank; Pulina, Luca; Tacchella, Armando (AI Commun., 2016)

DA-BSP: Towards Data Association Aware Belief Space Planning for Robust Active Perception. - Pathak, Shashank; Thomas, Antony; Feniger, Asaf; Indelman, Vadim (2016)

Formal and Data Association Aware Robust Belief Space Planning. - Pathak, Shashank; Soudjani, Sadegh Esmaeil Zadeh; Indelman, Vadim; Abate, Alessandro (2016)

Robust Active Perception via Data-association aware Belief Space planning. - Pathak, Shashank; Thomas, Antony; Feniger, Asaf; Indelman, Vadim (CoRR, 2016)

A Case for Robust AI in Robotics. - Pathak, Shashank; Pulina, Luca; Tacchella, Armando (2015)

Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. - Pathak, Shashank; Pulina, Luca; Tacchella, Armando (2015)

A Greedy Approach for the Efficient Repair of Stochastic Models. - Pathak, Shashank; Ábrahám, Erika; Jansen, Nils; Tacchella, Armando; Katoen, Joost-Pieter (2015)

Engineering Approaches and Methods to Verify Software in Autonomous Systems. - Cicala, Giuseppe; Khalili, Ali; Metta, Giorgio; Natale, Lorenzo; Pathak, Shashank; Pulina, Luca; Tacchella, Armando (2014)

Is verification a requisite for safe adaptive robots? - Pathak, Shashank; Metta, Giorgio; Tacchella, Armando (2014)

How to Abstract Intelligence? (If Verification Is in Order). - Pathak, Shashank; Pulina, Luca; Metta, Giorgio; Tacchella, Armando (2013)

Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub. - Pathak, Shashank; Pulina, Luca; Metta, Giorgio; Tacchella, Armando (2013)

Safe and effective learning: A case study. - Metta, Giorgio; Natale, Lorenzo; Pathak, Shashank; Pulina, Luca; Tacchella, Armando (2010)

Safe Learning with Real-Time Constraints: A Case Study. - Metta, Giorgio; Natale, Lorenzo; Pathak, Shashank; Pulina, Luca; Tacchella, Armando (2010)