Showing cs.ROShow all
3 papers · 1 filter
cs.RO2026
Learning specifications for reactive synthesis with safety constraints
Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan +1
This paper presents a novel approach to learning from demonstration that enables robots to autonomously execute complex tasks in dynamic environments. We model latent tasks as prob…
cs.RO2024
Large Language Models Enable Automated Formative Feedback in Human-Robot Interaction Tasks
Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes
We claim that LLMs can be paired with formal analysis methods to provide accessible, relevant feedback for HRI tasks. While logic specifications are useful for defining and assessi…
cs.RO2024
Automated Assessment and Adaptive Multimodal Formative Feedback Improves Psychomotor Skills Training Outcomes in Quadrotor Teleoperation
Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes
The workforce will need to continually upskill in order to meet the evolving demands of industry, especially working with robotic and autonomous systems. Current training methods a…