History

History of Verification of Autonomous Systems

History of Autonomous systems

Tortoises by Grey Walters [1] [2]

Shakey robot [3]

Prior Work in Related Fields

<Bit of text about different fields' related work>

Software Assurance

<Summary of relevant work in software assurance>

Formal Methods

<Summary of work in formal approaches to assurance and verification prior to application to autonomous systems>

Early Activities

<Discussion of the Verification of Autonomous Systems Working Group (VASWG)>

Developing As A Field

<Text about maturation, current state, pointer to roadmap?>

IEEE Technical Committee

<Formation of TC>

IEEE Standards Development

<Standards development>