Provably correct reactive control from natural language

Overview of attention for article published in Autonomous Robots, November 2014

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 3 X posts from 2 X users, with an upper bound of 3,316 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.

Provably correct reactive control from natural language http://t.co/4ZEqIJkQYV

Provably correct reactive control from natural language http://t.co/4ZEqIJkQYV