Autonomous Multi-Sensory Robotic Assistant for a Drinking Task. - Felix Ferdinand Goldau; Tejas Kumar Shastha; Maria Kyrarini; Axel Gräser (ICORR, 2019)

Application of Reinforcement Learning to a Robotic Drinking Assistant. - Tejas Kumar Shastha; Maria Kyrarini; Axel Gräser (Robotics, 2020)

Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover. - Sitar Kortik; Tejas Kumar Shastha (ICRA, 2021)