Shashank Pathak

21 papers A* 2A 2B 1C 3Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2025 C conf
Extending Flexible Boolean Semantics for the Language of Mathematics.
CICM
Shashank Pathak
2024 J jnl
GFLean: An Autoformalisation Framework for Lean via GF.
CoRR
Shashank Pathak
2024 J jnl
Pre-trained protein language model for codon optimization.
CoRR
Shashank Pathak, Guohui Lin
2019 J jnl
Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation.
Cogn. Syst. Res.
Amir Aly, Shashank Pathak, Sean Andrist, Armando Tacchella
2018 C conf
A Generalised Method for Adaptive Longitudinal Control Using Reinforcement Learning.
IAS
Shashank Pathak, Suvam Bag, Vijay Nadkarni
2018 J jnl
A unified framework for data association aware robust belief space planning and perception.
Int. J. Robotics Res.
Shashank Pathak, Antony Thomas, Vadim Indelman
2018 J jnl
Verification and repair of control policies for safe reinforcement learning.
Appl. Intell.
Shashank Pathak, Luca Pulina, Armando Tacchella
2017 A* conf
Nonmyopic data association aware belief space planning for robust active perception.
ICRA
Shashank Pathak, Antony Thomas, Vadim Indelman
2016 A conf
DA-BSP: Towards Data Association Aware Belief Space Planning for Robust Active Perception.
ECAI
Shashank Pathak, Antony Thomas, Asaf Feniger, Vadim Indelman
2016 J jnl
Evaluating probabilistic model checking tools for verification of robot control policies.
AI Commun.
Shashank Pathak, Luca Pulina, Armando Tacchella
2016 — conf
Formal and Data Association Aware Robust Belief Space Planning.
STAIRS
Shashank Pathak, Sadegh Esmaeil Zadeh Soudjani, Vadim Indelman, Alessandro Abate
2016 J jnl
Robust Active Perception via Data-association aware Belief Space planning.
CoRR
Shashank Pathak, Antony Thomas, Asaf Feniger, Vadim Indelman
2015 — conf
A Case for Robust AI in Robotics.
AIRO@AI*IA
Shashank Pathak, Luca Pulina, Armando Tacchella
2015 — conf
A Greedy Approach for the Efficient Repair of Stochastic Models.
NFM
Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen
2015 — conf
Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction.
AI*IA
Shashank Pathak, Luca Pulina, Armando Tacchella
2014 C conf
Engineering Approaches and Methods to Verify Software in Autonomous Systems.
IAS
Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella
2014 B conf
Is verification a requisite for safe adaptive robots?
SMC
Shashank Pathak, Giorgio Metta, Armando Tacchella
2013 A conf
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub.
IROS
Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella
2013 — conf
How to Abstract Intelligence? (If Verification Is in Order).
AAAI Fall Symposia
Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella
2010 — conf
Safe Learning with Real-Time Constraints: A Case Study.
IEA/AIE (1)
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella
2010 A* conf
Safe and effective learning: A case study.
ICRA
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella