All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Verification Body of Knowledge. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 16:11, 31 October 2023 Signe talk contribs created page Semi-autonomous (Created page with "<Top level summary, most common definitions for ''semi-autonomous''> Within the robotics community, the term ''semi-autonomous'' has two definitions. # a robot is semi-autonomous when it is capable of recognizing that it has reached an operating environment in which it is not capable of working and is programmed or designed to request external help. # a robot is semi-autonomous when the operator has defined specific points at which the robot will relinquish control to...")
- 16:09, 31 October 2023 Signe talk contribs created page Remote Control (Created page with "<Top level summary, most common definitions for ''remote control''> Within the robotics community, the term ''remote control'' has two definitions. # a robot is operating under remote control when a human operator is controlling the robot via an off-board controller and has access to direct visual feedback about the state of the robot. # a robot is operating under remote control when the human operator provides continuous control input - if the input command stream sto...")
- 16:08, 31 October 2023 Signe talk contribs created page Reactive (Created page with "<Top level summary, most common definitions for ''reactive''> Within the robotics community, the term ''reactive'' implies the lowest level of on-board decision making. In current parlance, a robot whose behavior is modified by its interaction with the environment rather than just on the basis of sensors that monitor its internal state == History == <Summary of the history of the term - how the definition has changed over time> In the 1980s, "reactive" referred to a...")
- 15:59, 31 October 2023 Signe talk contribs created page Adaptive (Created page with "<Top level summary, most common definitions for ''adaptive''> Within the robotics community, the term ''adaptive'' may or may not imply on-board decision making beyond the most simple sense/act decisions. In current parlance, it is often used to refer to a robot that modifies the parameters of its algorithms in response to its environment (ref. learning) == History == <Summary of the history of the term - how the definition has changed over time> In the mid-1980s, "a...")
- 19:25, 11 July 2022 Signe talk contribs created page VASBoK:About (Created page with "The Verification of Autonomous Systems Body of Knowledge is a wiki established to provide a curated repository of educational resources for researchers, practitioners, and the general public. The What is Verification? section introduces the topic and investigates the different ways people approach the topic. The Tutorials section contains links to tutorials for specific tools and processes. The Sources se...")
- 12:35, 28 June 2022 Signe talk contribs created page History (Created page with "== History of Verification of Autonomous Systems == <Summary of this page> === 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 G...")
- 19:32, 22 June 2022 Signe talk contribs created page File:People.png
- 19:32, 22 June 2022 Signe talk contribs uploaded File:People.png
- 19:24, 22 June 2022 Signe talk contribs created page File:Question.png
- 19:24, 22 June 2022 Signe talk contribs uploaded File:Question.png
- 19:21, 22 June 2022 Signe talk contribs created page File:Books2.png
- 19:21, 22 June 2022 Signe talk contribs uploaded File:Books2.png
- 19:04, 22 June 2022 Signe talk contribs created page File:Glossary.png
- 19:04, 22 June 2022 Signe talk contribs uploaded File:Glossary.png
- 18:48, 22 June 2022 Signe talk contribs created page File:Hammer2.png
- 18:48, 22 June 2022 Signe talk contribs uploaded File:Hammer2.png
- 18:39, 22 June 2022 Signe talk contribs created page File:GraduationCap2.png
- 18:39, 22 June 2022 Signe talk contribs uploaded File:GraduationCap2.png
- 18:36, 22 June 2022 Signe talk contribs uploaded a new version of File:GraduationCap.png
- 18:28, 22 June 2022 Signe talk contribs created page File:Events.png
- 18:28, 22 June 2022 Signe talk contribs uploaded File:Events.png
- 17:54, 22 June 2022 Signe talk contribs uploaded a new version of File:Books.png
- 17:53, 22 June 2022 Signe talk contribs uploaded a new version of File:Hammer.png
- 17:51, 22 June 2022 Signe talk contribs created page File:Hammer.png
- 17:51, 22 June 2022 Signe talk contribs uploaded File:Hammer.png
- 17:38, 22 June 2022 Signe talk contribs created page File:Books.png
- 17:38, 22 June 2022 Signe talk contribs uploaded File:Books.png
- 17:35, 22 June 2022 Signe talk contribs uploaded a new version of File:GraduationCap.png
- 17:33, 22 June 2022 Signe talk contribs created page File:GraduationCap.png
- 17:33, 22 June 2022 Signe talk contribs uploaded File:GraduationCap.png
- 12:38, 31 May 2022 Signe talk contribs created page Template (Created page with "Table of Contents <Top level summary, most common definition for ''term''> == History == <Summary of the history of the term - how the definition has changed over time> * Where was this first used? Who coined the term or started naming them like that? * Was it called differently before? == Contextual Uses == <Description of the different contexts this term is used in> * E.g. ISO standards * IEEE dictionary === Context 1 === <Description of context 1> <Definition us...")
- 12:39, 17 May 2022 Signe talk contribs created page Autonomous System (Created page with " Table of Contents <Top level summary, most common definition for ''autonomous system''> == History == <Summary of the history of the term - how the definition has changed over time> == Contextual Uses == <Description of the different contexts this term is used in> === Context 1 === <Description of context 1> <Definition used in context 1> === Context 2 === <Description of context 2> <Definition used in context 2")
- 18:01, 6 April 2022 Signe talk contribs created page File:Example.png (Placeholder for Gallery images)
- 18:01, 6 April 2022 Signe talk contribs uploaded File:Example.png (Placeholder for Gallery images)
- 14:22, 12 March 2022 Signe talk contribs created page Welcome to VASBoK (Created page with "The Verification of Autonomous Systems Body of Knowledge VASBoK is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]'s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] Education Working Group. It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and ac...")
- 18:10, 8 March 2022 User account Signe talk contribs was created