default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShashank Pathak
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i3]Shashank Pathak:
GFLean: An Autoformalisation Framework for Lean via GF. CoRR abs/2404.01234 (2024)- [i2]Shashank Pathak, Guohui Lin:
Pre-trained protein language model for codon optimization. CoRR abs/2412.10411 (2024)
2010 – 2019
- 2019
- [j4]Amir Aly
, Shashank Pathak, Sean Andrist, Armando Tacchella:
Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation. Cogn. Syst. Res. 58: 230-233 (2019) - 2018
- [j3]Shashank Pathak, Luca Pulina, Armando Tacchella:
Verification and repair of control policies for safe reinforcement learning. Appl. Intell. 48(4): 886-908 (2018) - [j2]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): 287-315 (2018) - [c13]Shashank Pathak, Suvam Bag, Vijay Nadkarni:
A Generalised Method for Adaptive Longitudinal Control Using Reinforcement Learning. IAS 2018: 464-479 - 2017
- [c12]Shashank Pathak, Antony Thomas, Vadim Indelman:
Nonmyopic data association aware belief space planning for robust active perception. ICRA 2017: 4487-4494 - 2016
- [j1]Shashank Pathak, Luca Pulina, Armando Tacchella:
Evaluating probabilistic model checking tools for verification of robot control policies. AI Commun. 29(2): 287-299 (2016) - [c11]Shashank Pathak, Antony Thomas, Asaf Feniger, Vadim Indelman:
DA-BSP: Towards Data Association Aware Belief Space Planning for Robust Active Perception. ECAI 2016: 1610-1611 - [c10]Shashank Pathak, Sadegh Esmaeil Zadeh Soudjani, Vadim Indelman, Alessandro Abate:
Formal and Data Association Aware Robust Belief Space Planning. STAIRS 2016: 87-98 - [i1]Shashank Pathak, Antony Thomas, Asaf Feniger, Vadim Indelman:
Robust Active Perception via Data-association aware Belief Space planning. CoRR abs/1606.05124 (2016) - 2015
- [c9]Shashank Pathak, Luca Pulina, Armando Tacchella:
A Case for Robust AI in Robotics. AIRO@AI*IA 2015: 94-103 - [c8]Shashank Pathak, Luca Pulina, Armando Tacchella:
Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. AI*IA 2015: 260-273 - [c7]Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen:
A Greedy Approach for the Efficient Repair of Stochastic Models. NFM 2015: 295-309 - 2014
- [c6]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: 1683-1700 - [c5]Shashank Pathak, Giorgio Metta, Armando Tacchella:
Is verification a requisite for safe adaptive robots? SMC 2014: 3399-3402 - 2013
- [c4]Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella:
How to Abstract Intelligence? (If Verification Is in Order). AAAI Fall Symposia 2013 - [c3]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: 170-175 - 2010
- [c2]Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Safe and effective learning: A case study. ICRA 2010: 4809-4814 - [c1]Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Safe Learning with Real-Time Constraints: A Case Study. IEA/AIE (1) 2010: 133-142
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-27 21:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
