Shashank Pathak

According to our database, Shashank Pathak authored at least 20 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Pre-trained protein language model for codon optimization.

Shashank Pathak, Guohui Lin

CoRR, 2024

GFLean: An Autoformalisation Framework for Lean via GF.

Shashank Pathak

CoRR, 2024

2019

Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation.

Amir Aly, Shashank Pathak, Sean Andrist, Armando Tacchella

Cogn. Syst. Res., 2019

2018

A unified framework for data association aware robust belief space planning and perception.

Shashank Pathak, Antony Thomas, Vadim Indelman

Int. J. Robotics Res., 2018

Verification and repair of control policies for safe reinforcement learning.

Shashank Pathak, Luca Pulina, Armando Tacchella

Appl. Intell., 2018

A Generalised Method for Adaptive Longitudinal Control Using Reinforcement Learning.

Shashank Pathak, Suvam Bag, Vijay Nadkarni

Proceedings of the Intelligent Autonomous Systems 15, 2018

2017

Nonmyopic data association aware belief space planning for robust active perception.

Shashank Pathak, Antony Thomas, Vadim Indelman

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

2016

Robust Active Perception via Data-association aware Belief Space planning.

Shashank Pathak, Antony Thomas, Asaf Feniger, Vadim Indelman

CoRR, 2016

Evaluating probabilistic model checking tools for verification of robot control policies.

Shashank Pathak, Luca Pulina, Armando Tacchella

AI Commun., 2016

Formal and Data Association Aware Robust Belief Space Planning.

Shashank Pathak, Sadegh Esmaeil Zadeh Soudjani, Vadim Indelman, Alessandro Abate

Proceedings of the STAIRS 2016, 2016

DA-BSP: Towards Data Association Aware Belief Space Planning for Robust Active Perception.

Shashank Pathak, Antony Thomas, Asaf Feniger, Vadim Indelman

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

A Greedy Approach for the Efficient Repair of Stochastic Models.

Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

A Case for Robust AI in Robotics.

Shashank Pathak, Luca Pulina, Armando Tacchella

Proceedings of the 2nd Italian Workshop on Artificial Intelligence and Robotics A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction.

Shashank Pathak, Luca Pulina, Armando Tacchella

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

2014

Is verification a requisite for safe adaptive robots?

Shashank Pathak, Giorgio Metta, Armando Tacchella

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Engineering Approaches and Methods to Verify Software in Autonomous Systems.

Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella

Proceedings of the Intelligent Autonomous Systems 13, 2014

2013

Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub.

Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

How to Abstract Intelligence? (If Verification Is in Order).

Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella

Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

2010

Safe Learning with Real-Time Constraints: A Case Study.

Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella

Proceedings of the Trends in Applied Intelligent Systems, 2010

Safe and effective learning: A case study.

Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella

Proceedings of the IEEE International Conference on Robotics and Automation, 2010