Tejas Kumar Shastha

According to our database, Tejas Kumar Shastha authored at least 3 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover.

Sitar Kortik, Tejas Kumar Shastha

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

Application of Reinforcement Learning to a Robotic Drinking Assistant.

Tejas Kumar Shastha, Maria Kyrarini, Axel Gräser

Robotics, 2020

2019

Autonomous Multi-Sensory Robotic Assistant for a Drinking Task.

Felix Ferdinand Goldau, Tejas Kumar Shastha, Maria Kyrarini, Axel Gräser

Proceedings of the 16th IEEE International Conference on Rehabilitation Robotics, 2019