The military requires flexible unmanned cyber-physical systems that can exhibit autonomous decision making and both obey rules of engagement and operate within a verifiable behavior safety envelope. We currently lack methods to provide assurance that such systems will operate reliably and with integrity in their operating environment as they continue to learn how to adapt to new situations. We have developed an architecture and an autonomous systems verification and validation approach based, in part, on the new discipline of software intent specifications.
