History

History of Verification of Autonomous Systems

History of Autonomous systems

According to common knowledge and history records, the two first autonomous robots designed and implemented are the following:

• Tortoises by Grey Walters in the 1940s [1] [2]

• Shakey the robot between 1966 and 1972 [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?>

Key publications that pioneered the use of verification tools and techniques specifically applied to autonomous systems are the following:

• Verifying Autonomous Systems, Michael Fisher, Louise Dennis, Matt Webster. In Communications of the ACM, 2013.

IEEE Technical Committee

<Formation of TC>

IEEE Standards Development

<Standards development>