Tejas Kumar Shastha

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 3

Top Topics

Autonomous Systems

Formal Verification

Intelligent Assistant

Robot Programming

Top Venues

Publications

Sitar Kortik, Tejas Kumar Shastha
Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover. ICRA (2021)
Tejas Kumar Shastha, Maria Kyrarini, Axel Gräser
Application of Reinforcement Learning to a Robotic Drinking Assistant. Robotics 9 (1) (2020)
Felix Ferdinand Goldau, Tejas Kumar Shastha, Maria Kyrarini, Axel Gräser
Autonomous Multi-Sensory Robotic Assistant for a Drinking Task. ICORR (2019)