561 followers
My recent work as part of a Penn-Cornell collaboration combining NLU, formal methods, and HRI, now in press in AURO: http://t.co/av9Xi9neNc.
My recent work as part of a Penn-Cornell collaboration combining NLU, formal methods, and HRI, now in press in AURO: http://t.co/av9Xi9neNc.
Provably correct reactive control from natural language http://t.co/4ZEqIJkQYV
Provably correct reactive control from natural language http://t.co/4ZEqIJkQYV