Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata]

✍ Scribed by Kress-Gazit, H.

• Book ID: 114585332
• Publisher: IEEE
• Year: 2011
• Tongue: English
• Weight: 340 KB
• Volume: 18
• Category: Article
• ISSN: 1070-9932
• DOI: 10.1109/mra.2011.943479