Shashank Pathak

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Luca Pulina

> Home > Persons > Shashank Pathak

Publications

2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/apin/PathakPT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apin/PathakPT18
Shashank Pathak, Luca Pulina, Armando Tacchella:
Verification and repair of control policies for safe reinforcement learning. Appl. Intell. 48(4): 886-908 (2018)
2016
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/PathakPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/PathakPT16
Shashank Pathak, Luca Pulina, Armando Tacchella:
Evaluating probabilistic model checking tools for verification of robot control policies. AI Commun. 29(2): 287-299 (2016)
2015
[c9]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/PathakPT15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PathakPT15a
Shashank Pathak, Luca Pulina, Armando Tacchella:
A Case for Robust AI in Robotics. AIRO@AI*IA 2015: 94-103
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/PathakPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PathakPT15
Shashank Pathak, Luca Pulina, Armando Tacchella:
Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. AI*IA 2015: 260-273
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ias/CicalaKMNPPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ias/CicalaKMNPPT14
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
2013
[c4]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaifs/PathakPMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaifs/PathakPMT13
Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella:
How to Abstract Intelligence? (If Verification Is in Order). AAAI Fall Symposia 2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/PathakPMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/PathakPMT13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/MettaNPPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/MettaNPPT10
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Safe and effective learning: A case study. ICRA 2010: 4809-4814
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/MettaNPPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/MettaNPPT10
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

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.