File
Program Verification and Synthesis for Collaborative Robots
Test Amy Submitted by Test Amy on April 20th, 2022
Video
NRI: INT: COLLAB: Program Verification and Synthesis for Collaborative Robots
Sponsor(s)
National Science Foundation
Contributor(s)
Bilge Mutlu
Remote Video
Tags
Regan Williams Submitted by Regan Williams on June 29th, 2021
File
NRI: INT: COLLAB: Program Verification and Synthesis for Collaborative Robots
Submitted by Bilge Mutlu on April 12th, 2021
File
Computational Tools for Human-Robot Interaction Design
Submitted by Allison Sauppé on August 12th, 2020
Subscribe to 1925043