New article: Provably Correct Control from Natural Language
Article: Lignos, C; Raman, V; Finucane, C; Marcus, M; Kress-Gazit, H; (2015) “Provably Correct Control from Natural Language”, Autonomous Robots, 38 (1):89-105 DOI Abstract: This paper presents an integrated system for generating, troubleshooting, and ...
Read More