Shashank Pathak

Orcid: 0000-0002-2888-6750

According to our database1, Shashank Pathak authored at least 18 papers between 2010 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation.
Cogn. Syst. Res., 2019

2018
A unified framework for data association aware robust belief space planning and perception.
Int. J. Robotics Res., 2018

Verification and repair of control policies for safe reinforcement learning.
Appl. Intell., 2018

A Generalised Method for Adaptive Longitudinal Control Using Reinforcement Learning.
Proceedings of the Intelligent Autonomous Systems 15, 2018

2017
Nonmyopic data association aware belief space planning for robust active perception.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

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

Evaluating probabilistic model checking tools for verification of robot control policies.
AI Commun., 2016

Formal and Data Association Aware Robust Belief Space Planning.
Proceedings of the STAIRS 2016, 2016

DA-BSP: Towards Data Association Aware Belief Space Planning for Robust Active Perception.
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.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

A Case for Robust AI in Robotics.
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.
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

2014
Is verification a requisite for safe adaptive robots?
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Engineering Approaches and Methods to Verify Software in Autonomous Systems.
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.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

How to Abstract Intelligence? (If Verification Is in Order).
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.
Proceedings of the Trends in Applied Intelligent Systems, 2010

Safe and effective learning: A case study.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010


  Loading...