Difference between revisions of "History"
Jump to navigation
Jump to search
| Line 29: | Line 29: | ||
<Text about maturation, current state, pointer to roadmap?> | <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 [https://cacm.acm.org/magazines/2013/9/167136-verifying-autonomous-systems/abstract Communications of the ACM], 2013. | * Verifying Autonomous Systems, Michael Fisher, Louise Dennis, Matt Webster. In [https://cacm.acm.org/magazines/2013/9/167136-verifying-autonomous-systems/abstract Communications of the ACM], 2013. | ||
Revision as of 05:45, 19 October 2022
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:
- 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>