AN INTENT SPECIFICATIONS MODEL FOR A ROBOTIC SOFTWARE CONTROL SYSTEM Israel Navarro, Kristina Lundqvist, and Nancy Leveson Massachusetts Institute of Technology, Cambridge, MA Abstract

First Page		Document Content
Date: 2015-12-11 12:32:11		AN INTENT SPECIFICATIONS MODEL FOR A ROBOTIC SOFTWARE CONTROL SYSTEM Israel Navarro, Kristina Lundqvist, and Nancy Leveson Massachusetts Institute of Technology, Cambridge, MA Abstract Add to Reading List Source URL: sunnyday.mit.edu Download Document from Source Website File Size: 306,61 KB Share Document on Facebook