Difference between revisions of "History"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
== History of Verification of Autonomous Systems == | == History of Verification of Autonomous Systems == | ||
=== History of Autonomous systems === | |||
Tortoises by Grey Walters [https://spectrum.ieee.org/meet-roombas-ancestor-cybernetic-tortoise] [https://www.youtube.com/watch?time_continue=1&v=lLULRlmXkKo&feature=emb_logo] | |||
Shakey robot [https://ieeemilestones.ethw.org/Milestones:Shakey:_The_World%E2%80%99s_First_Mobile,_Intelligent_Robot,_1972] | |||
=== Prior Work in Related Fields === | === Prior Work in Related Fields === | ||
Revision as of 12:58, 4 October 2022
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>