https://robotistry.org/vasbok/api.php?action=feedcontributions&feedformat=atom&user=Signe 2026-10-23T07:34:48Z User contributions MediaWiki 1.37.1 https://robotistry.org/vasbok/index.php?title=Adaptive&diff=79933 2023-10-31T16:12:35Z

<p>Signe: </p> <hr /> <div>&lt;Top level summary, most common definitions for &#039;&#039;adaptive&#039;&#039;&gt;<br /> <br /> Within the robotics community, the term &#039;&#039;adaptive&#039;&#039; may or may not imply on-board decision making beyond the most simple sense/act decisions.<br /> <br /> 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)<br /> <br /> == History ==<br /> &lt;Summary of the history of the term - how the definition has changed over time&gt;<br /> <br /> In the mid-1980s, &quot;adaptive&quot; referred to a robot that adapts its behavior to its environment (ref. reactive; historical use of adaptive from industrial robotics community, mid-1980s)<br /> <br /> * Where was this first used? Who coined the term or started naming them like that? <br /> <br /> <br /> <br /> * Was it called differently before?<br /> <br /> == Contextual Uses ==<br /> &lt;Description of the different contexts this term is used in&gt;<br /> <br /> <br /> === Field: <br /> <br /> <br /> == Other Definitions ==<br /> This section captures definitions of &#039;&#039;adaptive&#039;&#039; that are used in other fields, outside the scope of this Body of Knowledge. They are included here to enable users to identify when their application area may introduce confusion.<br /> <br /> ==== XX ====</div>

Signe https://robotistry.org/vasbok/index.php?title=Reactive&diff=79932 2023-10-31T16:12:10Z

<p>Signe: </p> <hr /> <div>&lt;Top level summary, most common definitions for &#039;&#039;reactive&#039;&#039;&gt;<br /> <br /> Within the robotics community, the term &#039;&#039;reactive&#039;&#039; implies the lowest level of on-board decision making.<br /> <br /> 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<br /> <br /> == History ==<br /> &lt;Summary of the history of the term - how the definition has changed over time&gt;<br /> <br /> In the 1980s, &quot;reactive&quot; referred to a robot that uses a simple sense-act model to control its behavior, without a plan or decide component and without a world model.<br /> <br /> * Where was this first used? Who coined the term or started naming them like that? <br /> <br /> <br /> <br /> * Was it called differently before?<br /> <br /> == Contextual Uses ==<br /> &lt;Description of the different contexts this term is used in&gt;<br /> <br /> <br /> === Field: <br /> <br /> <br /> == Other Definitions ==<br /> This section captures definitions of &#039;&#039;reactive&#039;&#039; that are used in other fields, outside the scope of this Body of Knowledge. They are included here to enable users to identify when their application area may introduce confusion.<br /> <br /> ==== XX ====</div>

Signe https://robotistry.org/vasbok/index.php?title=Remote_Control&diff=79931 2023-10-31T16:11:47Z

<p>Signe: </p> <hr /> <div>&lt;Top level summary, most common definitions for &#039;&#039;remote control&#039;&#039;&gt;<br /> <br /> Within the robotics community, the term &#039;&#039;remote control&#039;&#039; has two definitions.<br /> <br /> # 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.<br /> # a robot is operating under remote control when the human operator provides continuous control input - if the input command stream stops, the robot stops moving.<br /> <br /> == History ==<br /> &lt;Summary of the history of the term - how the definition has changed over time&gt;<br /> <br /> <br /> <br /> * Where was this first used? Who coined the term or started naming them like that? <br /> <br /> <br /> <br /> * Was it called differently before?<br /> <br /> == Contextual Uses ==<br /> &lt;Description of the different contexts this term is used in&gt;<br /> <br /> <br /> === Field: <br /> <br /> <br /> == Other Definitions ==<br /> This section captures definitions of &#039;&#039;remote control&#039;&#039; that are used in other fields, outside the scope of this Body of Knowledge. They are included here to enable users to identify when their application area may introduce confusion.<br /> <br /> ==== XX ====</div>

Signe https://robotistry.org/vasbok/index.php?title=Semi-autonomous&diff=79930 2023-10-31T16:11:21Z

<p>Signe: Created page with &quot;&lt;Top level summary, most common definitions for &#039;&#039;semi-autonomous&#039;&#039;&gt; Within the robotics community, the term &#039;&#039;semi-autonomous&#039;&#039; 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...&quot;</p> <hr /> <div>&lt;Top level summary, most common definitions for &#039;&#039;semi-autonomous&#039;&#039;&gt;<br /> <br /> Within the robotics community, the term &#039;&#039;semi-autonomous&#039;&#039; has two definitions.<br /> <br /> # 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.<br /> # a robot is semi-autonomous when the operator has defined specific points at which the robot will relinquish control to the operator<br /> <br /> <br /> == History ==<br /> &lt;Summary of the history of the term - how the definition has changed over time&gt;<br /> <br /> <br /> <br /> * Where was this first used? Who coined the term or started naming them like that? <br /> <br /> <br /> <br /> * Was it called differently before?<br /> <br /> == Contextual Uses ==<br /> &lt;Description of the different contexts this term is used in&gt;<br /> <br /> <br /> === Field: <br /> <br /> <br /> == Other Definitions ==<br /> This section captures definitions of &#039;&#039;semi-autonomous&#039;&#039; that are used in other fields, outside the scope of this Body of Knowledge. They are included here to enable users to identify when their application area may introduce confusion.<br /> <br /> ==== XX ====</div>

Signe https://robotistry.org/vasbok/index.php?title=Remote_Control&diff=79929 2023-10-31T16:09:55Z

<p>Signe: Created page with &quot;&lt;Top level summary, most common definitions for &#039;&#039;remote control&#039;&#039;&gt; Within the robotics community, the term &#039;&#039;remote control&#039;&#039; 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...&quot;</p> <hr /> <div>&lt;Top level summary, most common definitions for &#039;&#039;remote control&#039;&#039;&gt;<br /> <br /> Within the robotics community, the term &#039;&#039;remote control&#039;&#039; has two definitions.<br /> <br /> # 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.<br /> # a robot is operating under remote control when the human operator provides continuous control input - if the input command stream stops, the robot stops moving.<br /> <br /> == History ==<br /> &lt;Summary of the history of the term - how the definition has changed over time&gt;<br /> <br /> <br /> <br /> * Where was this first used? Who coined the term or started naming them like that? <br /> <br /> <br /> <br /> * Was it called differently before?<br /> <br /> == Contextual Uses ==<br /> &lt;Description of the different contexts this term is used in&gt;<br /> <br /> <br /> === Field: <br /> <br /> <br /> == Other Definitions ==<br /> This section captures definitions of &#039;&#039;autonomous system&#039;&#039; that are used in other fields, outside the scope of this Body of Knowledge. They are included here to enable users to identify when their application area may introduce confusion.<br /> <br /> ==== XX ====</div>

Signe https://robotistry.org/vasbok/index.php?title=Reactive&diff=79928 2023-10-31T16:08:15Z

<p>Signe: Created page with &quot;&lt;Top level summary, most common definitions for &#039;&#039;reactive&#039;&#039;&gt; Within the robotics community, the term &#039;&#039;reactive&#039;&#039; 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 == &lt;Summary of the history of the term - how the definition has changed over time&gt; In the 1980s, &quot;reactive&quot; referred to a...&quot;</p> <hr /> <div>&lt;Top level summary, most common definitions for &#039;&#039;reactive&#039;&#039;&gt;<br /> <br /> Within the robotics community, the term &#039;&#039;reactive&#039;&#039; implies the lowest level of on-board decision making.<br /> <br /> 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<br /> <br /> == History ==<br /> &lt;Summary of the history of the term - how the definition has changed over time&gt;<br /> <br /> In the 1980s, &quot;reactive&quot; referred to a robot that uses a simple sense-act model to control its behavior, without a plan or decide component and without a world model.<br /> <br /> * Where was this first used? Who coined the term or started naming them like that? <br /> <br /> <br /> <br /> * Was it called differently before?<br /> <br /> == Contextual Uses ==<br /> &lt;Description of the different contexts this term is used in&gt;<br /> <br /> <br /> === Field: <br /> <br /> <br /> == Other Definitions ==<br /> This section captures definitions of &#039;&#039;autonomous system&#039;&#039; that are used in other fields, outside the scope of this Body of Knowledge. They are included here to enable users to identify when their application area may introduce confusion.<br /> <br /> ==== XX ====</div>

Signe https://robotistry.org/vasbok/index.php?title=Portal:Glossary&diff=79927 2023-10-31T16:06:10Z

<p>Signe: Added a few terms related to different types of robot operation</p> <hr /> <div>Offer different classifications and groupings - in main page<br /> <br /> * Verification techniques (tree?)<br /> * Metrics (grouping)<br /> * Application area (e.g. ML systems, for HRI, for medical robots)<br /> * Related concepts (e.g. all the specification and requirements terms together)<br /> <br /> Contents of each linked page: <br /> * definitions with links to sources<br /> * short discussion of how topic relates to verification of autonomous systems<br /> <br /> &#039;&#039;&#039;&#039;&#039;[[Template]]&#039;&#039;&#039;&#039;&#039; for definition pages - please copy the markup from this page into your new definition page<br /> <br /> <br /> ;Acceptability<br /> : exposure to loss (financial or otherwise) from a risk that an organization is willing to tolerate <br /> ;Acceptance testing <br /> ;Accountability <br /> ;Activity <br /> : set of tasks that describe the technical effort to accomplish a process and help generate expected outcome [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> ;[[Adaptive]] <br /> ;Assessment <br /> ;Assurance <br /> ;Assurance cases <br /> ;[[Autonomous System]]<br /> : &quot;system which has the ability to perform intended tasks based on current state, knowledge and sensing, without human intervention&quot; [https://shop.bsigroup.com/products/robots-and-robotic-devices-guide-to-the-ethical-design-and-application-of-robots-and-robotic-systems/standard BSI 8611:2016]<br /> ;Autonomous systems design<br /> ;Autonomy<br /> ;Automated<br /> : a robot that does not make any decisions. It performs a precise sequence of actions without regard to external input. Even if a robot has sensors, that enable it to gather information about its environment, if they aren&#039;t used to modify its behavior, the robot is automated and acts as an automaton.<br /> ;Automation<br /> : allocation of system functions to machines versus humans [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook] <br /> ;Anomaly <br /> : unexpected performance of intended function [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> <br /> <br /> ;Behavior verification for autonomous systems and ML systems <br /> ;Behavioral verification <br /> <br /> <br /> ;Combining V&amp;V Techniques <br /> ;Contextual reasoning <br /> ;Correctness verification <br /> ;Credibility <br /> ;Cross-domain / multi-domain validation<br /> ;Cyber-security <br /> ;Cyborg<br /> : a system consisting of a combination of a core biological organism, usually human, and machine or mechanical components.<br /> <br /> <br /> ;Dependability <br /> <br /> <br /> ;Executable specifications <br /> ;Experiment design <br /> ;Explainability <br /> <br /> ;Failure<br /> : inability of a system, subsystem or component to perform its required function within specified limits [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> <br /> ;Failure detection and recovery <br /> ;Fault<br /> : physical or logical cause, which explains a failure [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> ;Formal methods for autonomous systems <br /> ;Formal modelling <br /> ;Formal software verification <br /> ;Functional assurance<br /> ;Functional requirements <br /> ;Functional verification <br /> <br /> <br /> ;HRI (Human-robot interactions)<br /> ;HRI verification <br /> ;Hybrid Logical/Dynamical Planning and Verification <br /> <br /> <br /> ;Generalizability <br /> <br /> <br /> ;Integrity of autonomous systems<br /> <br /> <br /> ;Liability <br /> ;Licensing and certification <br /> <br /> <br /> ;Model-based evaluation <br /> <br /> <br /> <br /> <br /> ;Objective evidence<br /> : ISO 9000:2015 - &quot;data, supporting the existence or verity of something&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> <br /> <br /> ;Operational design domain<br /> <br /> ;Process <br /> : &quot;set of interrelated or interacting activities that use inputs to deliver an intended result&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> <br /> ;Qualitative assessment <br /> ;Quality requirement<br /> : &quot;requirement related to quality&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> ;Quality plan <br /> : &quot;specification of the procedures and associated resources to be applied when and by whom to a specific object&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> ;Quantitative assessment <br /> <br /> <br /> <br /> ;Performance evaluation and benchmarking <br /> ;Privacy <br /> <br /> ;[[Reactive]]<br /> ;Redundant robots <br /> ;Reliability<br /> ;[[Remote Control]] <br /> ;Replicability <br /> ;Reproducibility <br /> ;Requirements <br /> : Workspace and conditions/context of operations <br /> <br /> ;Requirement <br /> : &quot;need or expectation that is stated, generally implied or obligatory&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> <br /> ;Requirements development processes <br /> ;Resilience<br /> ;[[Responsibility]]<br /> : Either (a) responsible development and deployment of robotics, see [https://shop.bsigroup.com/products/robots-and-robotic-devices-guide-to-the-ethical-design-and-application-of-robots-and-robotic-systems/standard BSI 8611:2016] or<br /> : (b) responsible decisions by the autonomous system itself, see [https://doi.org/10.1016/j.artint.2022.103677 ethics for autonomous systems]<br /> ;Robot<br /> : See Robotic Systems<br /> ;Robot safety<br /> ;Robotic Systems <br /> : Robot systems engineering <br /> ;Robustness <br /> ;Run-time verification and monitoring <br /> <br /> <br /> ;Safety <br /> ;Safety and security interaction<br /> ;Safety in HRI<br /> : safety, system function<br /> : verification of any function in the system including ML &amp; non-deterministic functions<br /> ;Safety-centric HRI protocols<br /> ;Safety requirements <br /> ;Security <br /> ;Security requirements<br /> ;[[Semi-autonomous]]<br /> ;Simulation-based testing <br /> ;Sim-based evaluation<br /> ;Social/legal/ethical requirements <br /> ;Software testing and debugging <br /> ;Software tools for benchmarking and <br /> ;Software tools for testing <br /> : software testing <br /> ;Specification<br /> : &quot;document stating requirements&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> ;Synthetic environment <br /> : to develop high level test scenarios, drive test case development <br /> <br /> <br /> ;Teleoperated<br /> : a robot whose operator is controlling its every move, but where the command stream is not required to be continuous and the operator is using sensors on-board the robot for situational awareness. The operator may send higher level commands (e.g. &quot;go to waypoint&quot;) and the robot will complete the last command it receives before it stops.<br /> ;Test cases for verification purposes <br /> ;Testing <br /> ;Transparency <br /> ;Trust<br /> ;[[Trustworthiness]]<br /> : Generally, [https://dictionary.cambridge.org/dictionary/english/trustworthy &quot;able to be trusted&quot;].<br /> : In autonomous systems, moving beyond standard cyber-physical systems where trustworthiess is synonymous with reliability and extending this with [https://doi.org/10.1007/978-3-030-69128-8_2 beneficiality], i.e. evidence that the system is working for our benefit.<br /> <br /> ;Use-case scenario generation <br /> ;Use Case testing <br /> <br /> <br /> ;Validation: <br /> : further adds as &quot;A system is able to accomplish its intended use, goals and objectives (i.e., meet stakeholder requirements) in the intended operational environment. The right system was built.” ISO/IEC/IEEE 15288:2015 <br /> ;Verification: <br /> : defines verification as &quot;Confirmation, through the provision of objective evidence, that specified requirements have been fulfilled&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> : further adds as &quot;Verification is a set of activities that compare a system or system element against the required characteristics. This includes, but is not limited to specified requirements, design description and the system itself. The system was built right.&quot; ISO/IEC/IEEE 15288:2015<br /> ;Verification and Validation Process<br /> : Process of first, identifying the desired functionality and properties of the system, second, verifying that the system provides that functionality and possesses those properties, and third, validating that the system as delivered meets user needs. <br /> <br /> <br /> ;Waldo<br /> : a mechanism that precisely repeats the actions of its operator (from the Robert Heinlein short story [http://en.wikipedia.org/wiki/Waldo_%28short_story%29 Waldo] from the book Waldo &amp; Magic, Inc.)<br /> <br /> ==Notes==<br /> * Note that we need to discuss how we will handle definitions that are not part of standards and may not have agreed upon definitions</div>

Signe https://robotistry.org/vasbok/index.php?title=Adaptive&diff=79926 2023-10-31T15:59:29Z

<p>Signe: Created page with &quot;&lt;Top level summary, most common definitions for &#039;&#039;adaptive&#039;&#039;&gt; Within the robotics community, the term &#039;&#039;adaptive&#039;&#039; 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 == &lt;Summary of the history of the term - how the definition has changed over time&gt; In the mid-1980s, &quot;a...&quot;</p> <hr /> <div>&lt;Top level summary, most common definitions for &#039;&#039;adaptive&#039;&#039;&gt;<br /> <br /> Within the robotics community, the term &#039;&#039;adaptive&#039;&#039; may or may not imply on-board decision making beyond the most simple sense/act decisions.<br /> <br /> 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)<br /> <br /> == History ==<br /> &lt;Summary of the history of the term - how the definition has changed over time&gt;<br /> <br /> In the mid-1980s, &quot;adaptive&quot; referred to a robot that adapts its behavior to its environment (ref. reactive; historical use of adaptive from industrial robotics community, mid-1980s)<br /> <br /> * Where was this first used? Who coined the term or started naming them like that? <br /> <br /> <br /> <br /> * Was it called differently before?<br /> <br /> == Contextual Uses ==<br /> &lt;Description of the different contexts this term is used in&gt;<br /> <br /> <br /> === Field: <br /> <br /> <br /> == Other Definitions ==<br /> This section captures definitions of &#039;&#039;autonomous system&#039;&#039; that are used in other fields, outside the scope of this Body of Knowledge. They are included here to enable users to identify when their application area may introduce confusion.<br /> <br /> ==== XX ====</div>

Signe https://robotistry.org/vasbok/index.php?title=Portal:Glossary&diff=79925 2023-10-31T15:55:35Z

<p>Signe: Added &quot;Adaptive&quot; page</p> <hr /> <div>Offer different classifications and groupings - in main page<br /> <br /> * Verification techniques (tree?)<br /> * Metrics (grouping)<br /> * Application area (e.g. ML systems, for HRI, for medical robots)<br /> * Related concepts (e.g. all the specification and requirements terms together)<br /> <br /> Contents of each linked page: <br /> * definitions with links to sources<br /> * short discussion of how topic relates to verification of autonomous systems<br /> <br /> &#039;&#039;&#039;&#039;&#039;[[Template]]&#039;&#039;&#039;&#039;&#039; for definition pages - please copy the markup from this page into your new definition page<br /> <br /> <br /> ;Acceptability<br /> : exposure to loss (financial or otherwise) from a risk that an organization is willing to tolerate <br /> ;Acceptance testing <br /> ;Accountability <br /> ;Activity <br /> : set of tasks that describe the technical effort to accomplish a process and help generate expected outcome [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> ;[[Adaptive]] <br /> ;Assessment <br /> ;Assurance <br /> ;Assurance cases <br /> ;[[Autonomous System]]<br /> : &quot;system which has the ability to perform intended tasks based on current state, knowledge and sensing, without human intervention&quot; [https://shop.bsigroup.com/products/robots-and-robotic-devices-guide-to-the-ethical-design-and-application-of-robots-and-robotic-systems/standard BSI 8611:2016]<br /> ;Autonomous systems design<br /> ;Autonomy<br /> ;Automation<br /> : allocation of system functions to machines versus humans [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook] <br /> ;Anomaly <br /> : unexpected performance of intended function [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> <br /> <br /> ;Behavior verification for autonomous systems and ML systems <br /> ;Behavioral verification <br /> <br /> <br /> ;Combining V&amp;V Techniques <br /> ;Contextual reasoning <br /> ;Correctness verification <br /> ;Credibility <br /> ;Cross-domain / multi-domain validation<br /> ;Cyber-security <br /> <br /> <br /> ;Dependability <br /> <br /> <br /> ;Executable specifications <br /> ;Experiment design <br /> ;Explainability <br /> <br /> ;Failure<br /> : inability of a system, subsystem or component to perform its required function within specified limits [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> <br /> ;Failure detection and recovery <br /> ;Fault<br /> : physical or logical cause, which explains a failure [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> ;Formal methods for autonomous systems <br /> ;Formal modelling <br /> ;Formal software verification <br /> ;Functional assurance<br /> ;Functional requirements <br /> ;Functional verification <br /> <br /> <br /> ;HRI (Human-robot interactions)<br /> ;HRI verification <br /> ;Hybrid Logical/Dynamical Planning and Verification <br /> <br /> <br /> ;Generalizability <br /> <br /> <br /> ;Integrity of autonomous systems<br /> <br /> <br /> ;Liability <br /> ;Licensing and certification <br /> <br /> <br /> ;Model-based evaluation <br /> <br /> <br /> <br /> <br /> ;Objective evidence<br /> : ISO 9000:2015 - &quot;data, supporting the existence or verity of something&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> <br /> <br /> ;Operational design domain<br /> <br /> ;Process <br /> : &quot;set of interrelated or interacting activities that use inputs to deliver an intended result&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> <br /> ;Qualitative assessment <br /> ;Quality requirement<br /> : &quot;requirement related to quality&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> ;Quality plan <br /> : &quot;specification of the procedures and associated resources to be applied when and by whom to a specific object&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> ;Quantitative assessment <br /> <br /> <br /> <br /> ;Performance evaluation and benchmarking <br /> ;Privacy <br /> <br /> <br /> ;Redundant robots <br /> ;Reliability <br /> ;Replicability <br /> ;Reproducibility <br /> ;Requirements <br /> : Workspace and conditions/context of operations <br /> <br /> ;Requirement <br /> : &quot;need or expectation that is stated, generally implied or obligatory&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> <br /> ;Requirements development processes <br /> ;Resilience<br /> ;[[Responsibility]]<br /> : Either (a) responsible development and deployment of robotics, see [https://shop.bsigroup.com/products/robots-and-robotic-devices-guide-to-the-ethical-design-and-application-of-robots-and-robotic-systems/standard BSI 8611:2016] or<br /> : (b) responsible decisions by the autonomous system itself, see [https://doi.org/10.1016/j.artint.2022.103677 ethics for autonomous systems]<br /> ;Robot safety <br /> ;Robotic Systems <br /> : Robot systems engineering <br /> ;Robustness <br /> ;Run-time verification and monitoring <br /> <br /> <br /> ;Safety <br /> ;Safety and security interaction<br /> ;Safety in HRI<br /> : safety, system function<br /> : verification of any function in the system including ML &amp; non-deterministic functions<br /> ;Safety-centric HRI protocols<br /> ;Safety requirements <br /> ;Security <br /> ;Security requirements<br /> ;Simulation-based testing <br /> ;Sim-based evaluation<br /> ;Social/legal/ethical requirements <br /> ;Software testing and debugging <br /> ;Software tools for benchmarking and <br /> ;Software tools for testing <br /> : software testing <br /> ;Specification<br /> : &quot;document stating requirements&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> ;Synthetic environment <br /> : to develop high level test scenarios, drive test case development <br /> <br /> <br /> ;Test cases for verification purposes <br /> ;Testing <br /> ;Transparency <br /> ;Trust<br /> ;[[Trustworthiness]]<br /> : Generally, [https://dictionary.cambridge.org/dictionary/english/trustworthy &quot;able to be trusted&quot;].<br /> : In autonomous systems, moving beyond standard cyber-physical systems where trustworthiess is synonymous with reliability and extending this with [https://doi.org/10.1007/978-3-030-69128-8_2 beneficiality], i.e. evidence that the system is working for our benefit.<br /> <br /> ;Use-case scenario generation <br /> ;Use Case testing <br /> <br /> <br /> ;Validation: <br /> : further adds as &quot;A system is able to accomplish its intended use, goals and objectives (i.e., meet stakeholder requirements) in the intended operational environment. The right system was built.” ISO/IEC/IEEE 15288:2015 <br /> ;Verification: <br /> : defines verification as &quot;Confirmation, through the provision of objective evidence, that specified requirements have been fulfilled&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> : further adds as &quot;Verification is a set of activities that compare a system or system element against the required characteristics. This includes, but is not limited to specified requirements, design description and the system itself. The system was built right.&quot; ISO/IEC/IEEE 15288:2015<br /> ;Verification and Validation Process<br /> : Process of first, identifying the desired functionality and properties of the system, second, verifying that the system provides that functionality and possesses those properties, and third, validating that the system as delivered meets user needs. <br /> <br /> ==Notes==<br /> * Note that we need to discuss how we will handle definitions that are not part of standards and may not have agreed upon definitions</div>

Signe https://robotistry.org/vasbok/index.php?title=Main_Page&diff=79924 2023-08-22T13:51:35Z

<p>Signe: </p> <hr /> <div>&lt;strong&gt;Verification of Autonomous Systems Body of Knowledge&lt;/strong&gt;<br /> <br /> This site contains a number of different types of information, including tutorials, keyword definitions, and basic and advanced contextual information about verification of autonomous systems.<br /> <br /> [https://robotistry.org/vasbok/index.php/Welcome_to_VASBoK Welcome to VAS Book of Knowledge]<br /> <br /> [[Dictionary]]<br /> <br /> == Helpful Links ==<br /> <br /> Consult the [https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents User&#039;s Guide] for information on using the wiki software.<br /> <br /> == Getting started ==<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Configuration_settings Configuration settings list]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:FAQ MediaWiki FAQ]<br /> * [https://lists.wikimedia.org/postorius/lists/mediawiki-announce.lists.wikimedia.org/ MediaWiki release mailing list]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Localisation#Translation_resources Localise MediaWiki for your language]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Combating_spam Learn how to combat spam on your wiki]<br /> * [https://www.mediawiki.org/wiki/Help:Editing Help with editing wiki pages]</div>

Signe https://robotistry.org/vasbok/index.php?title=Main_Page&diff=79923 2023-08-22T13:51:19Z

<p>Signe: </p> <hr /> <div>&lt;strong&gt;Verification of Autonomous Systems Body of Knowledge&lt;/strong&gt;<br /> <br /> This site contains a number of different types of information, including tutorials, keyword definitions, and basic and advanced contextual information about verification of autonomous systems.<br /> <br /> [https://vasbookofknowledge.com/vasbok/index.php/Welcome_to_VASBoK Welcome to VAS Book of Knowledge]<br /> <br /> [[Dictionary]]<br /> <br /> == Helpful Links ==<br /> <br /> Consult the [https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents User&#039;s Guide] for information on using the wiki software.<br /> <br /> == Getting started ==<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Configuration_settings Configuration settings list]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:FAQ MediaWiki FAQ]<br /> * [https://lists.wikimedia.org/postorius/lists/mediawiki-announce.lists.wikimedia.org/ MediaWiki release mailing list]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Localisation#Translation_resources Localise MediaWiki for your language]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Combating_spam Learn how to combat spam on your wiki]<br /> * [https://www.mediawiki.org/wiki/Help:Editing Help with editing wiki pages]</div>

Signe https://robotistry.org/vasbok/index.php?title=Portal:Events&diff=79922 2023-08-22T12:02:24Z

<p>Signe: </p> <hr /> <div>IEEE RAS Technical Committee for Verification of Autonomous Systems [https://www.ieee-ras.org/verification-of-autonomous-systems/activities-verification-of-autonomous-systems activities].<br /> <br /> == Regular Events ==<br /> <br /> === Webinars ===<br /> Pandemic considerations temporarily interrupted our planned workshops and inaugurated the TC-VAS webinar series.<br /> <br /> Links to the talks and information about how to join are posted on the IEEE RAS [https://www.ieee-ras.org/verification-of-autonomous-systems/activities-verification-of-autonomous-systems TC-VAS website].<br /> <br /> === Conferences / Symposia ===<br /> &lt;When we start having these, this is where they will go!&gt;<br /> <br /> == Past Events ==<br /> <br /> === Pre-IEEE Technical Committee VAS Working group meetings ===<br /> <br /> April, 2014: [https://www.robotistry.org/vaswg/nrl2014/nrl2014.html Working Group Kick-off Meeting]<br /> <br /> June, 2015: [https://www.robotistry.org/vaswg/nist2015/nist2015.html NIST Working Group Meeting 1]<br /> <br /> May, 2016: [https://www.robotistry.org/vaswg/VerificationWorkshop.html ICRA 2016 Workshop]<br /> <br /> September, 2017: [https://sites.gatech.edu/iros2017-vasw/ IROS 2017 Workshop]<br /> <br /> May, 2018: [https://robotistry.org/vaswg/icra2018/VerificationWorkshop18.html ICRA 2018 Workshop]<br /> <br /> November, 2018: [https://www.robotistry.org/vaswg/nist2018/nist2018.html NIST Working Group Meeting 2]<br /> <br /> === Technical Committee for Verification of Autonomous Systems (TC-VAS) Events ===<br /> <br /> ==== Workshops ====<br /> <br /> May, 2022: [https://robotistry.org/vaswg/ICRA22_Workshop/index.html ICRA 2022 Workshop]<br /> <br /> October, 2023: [https://robotistry.org/vaswg/IROS23_Workshop/ IROS 2023 Workshop] &quot;It Works Really Well: Verification in Theory and Practice&quot;]</div>

Signe https://robotistry.org/vasbok/index.php?title=Autonomous_System&diff=79921 2023-08-21T14:25:12Z

<p>Signe: </p> <hr /> <div><br /> <br /> &lt;Top level summary, most common definition for &#039;&#039;autonomous system&#039;&#039;&gt;<br /> <br /> Within the robotics community, the term &#039;&#039;autonomous&#039;&#039; usually implies some degree of on-board decision making. In some circumstances, it may refer to a spectrum of decision making authority that can include in the degenerate case an automated system with no authority or ability to make decisions about its actions. This kind of scale typically covers the full spectrum of autonomy and includes a fully autonomous system that is entirely responsible for its own action selections, and may also include mixed-initiative systems that collaborate with other agents to arrive at mutually acceptable actions or plans.<br /> <br /> == History ==<br /> &lt;Summary of the history of the term - how the definition has changed over time&gt;<br /> * Where was this first used? Who coined the term or started naming them like that? <br /> <br /> <br /> <br /> * Was it called differently before?<br /> <br /> == Contextual Uses ==<br /> &lt;Description of the different contexts this term is used in&gt;<br /> * E.g. ISO standards<br /> * IEEE dictionary<br /> <br /> === Robotics: [https://shop.bsigroup.com/products/robots-and-robotic-devices-guide-to-the-ethical-design-and-application-of-robots-and-robotic-systems/standard BSI 8611:2016] ===<br /> <br /> &quot;system which has the ability to perform intended tasks based on current state, knowledge and sensing, without human intervention&quot; <br /> <br /> === Robotics: [https://ieeexplore.ieee.org/browse/standards/dictionary?activeStatus=false&amp;queryText=autonomous%20system IEEE Standards Dictionary] ===<br /> <br /> This context draws from standards and published definitions in the physically-embodied robotics community, as distinct from the computer science community or the artificial intelligence community.<br /> <br /> *;IEEE Standard 7001-2021 <br /> *: A system that has the capacity to make decisions itself in response to some input data or stimulus with a varying degree of human oversight or intervention depending on the system’s level of autonomy.<br /> <br /> === Artificial Intelligence: [https://ieeexplore.ieee.org/browse/standards/dictionary?activeStatus=false&amp;queryText=autonomous%20system IEEE Standards Dictionary] ===<br /> <br /> This context draws from standards and published definitions in the artificial intelligence community, as distinct from the computer science community or the physically-embodied robotics community.<br /> <br /> *;IEEE Standard 7010-2021 <br /> *: A semi-autonomous or autonomous computer-controlled system programmed to carry out some task with or without limited human intervention capable of decision making by independent inference and successfully adapting to its context. An example is an A/IS that refers to a computer system instantiated in a product or service. &#039;&#039;NOTE—For the purposes of IEEE Std 7010, A/IS encompasses AI and information systems (IS).&#039;&#039;<br /> <br /> == Other Definitions ==<br /> This section captures definitions of &#039;&#039;autonomous system&#039;&#039; that are used in other fields, outside the scope of this Body of Knowledge. They are included here to enable users to identify when their application area may introduce confusion.<br /> <br /> ==== Networking ====<br /> <br /> &#039;&#039;[https://csrc.nist.gov/glossary/term/autonomous_system Computing Security Resource Center (NIST)]&#039;&#039;<br /> *[https://nvlpubs.nist.gov/nistpubs/Legacy/SP/nistspecialpublication800-54.pdf NIST SP 800-54]: One or more routers under a single administration operating the same routing policy.<br /> *[https://nvlpubs.nist.gov/nistpubs/TechnicalNotes/NIST.TN.2060.pdf NIST TN 2060]: An Autonomous System specifies a network, mostly an organization that can own or announce network addresses to the Internet.<br /> <br /> <br /> ==== Mathematics ====<br /> [https://mathworld.wolfram.com/Autonomous.html Wolfram] defines &#039;&#039;autonomous system&#039;&#039; as a system of ordinary differential equations which do not explicitly contain the independent variable. See [https://math.libretexts.org/Bookshelves/Analysis/Supplemental_Modules_(Analysis)/Ordinary_Differential_Equations/2%3A_First_Order_Differential_Equations/2.5%3A_Autonomous_Differential_Equations]</div>

Signe https://robotistry.org/vasbok/index.php?title=Autonomous_System&diff=79920 2023-08-21T14:22:18Z

<p>Signe: </p> <hr /> <div><br /> <br /> Table of Contents<br /> <br /> &lt;Top level summary, most common definition for &#039;&#039;autonomous system&#039;&#039;&gt;<br /> <br /> Within the robotics community, the term &#039;&#039;autonomous&#039;&#039; usually implies some degree of on-board decision making. In some circumstances, it may refer to a spectrum of decision making authority that can include in the degenerate case an automated system with no authority or ability to make decisions about its actions. This kind of scale typically covers the full spectrum of autonomy and includes a fully autonomous system that is entirely responsible for its own action selections, and may also include mixed-initiative systems that collaborate with other agents to arrive at mutually acceptable actions or plans.<br /> <br /> == History ==<br /> &lt;Summary of the history of the term - how the definition has changed over time&gt;<br /> * Where was this first used? Who coined the term or started naming them like that? <br /> <br /> <br /> <br /> * Was it called differently before?<br /> <br /> == Contextual Uses ==<br /> &lt;Description of the different contexts this term is used in&gt;<br /> * E.g. ISO standards<br /> * IEEE dictionary<br /> <br /> === Robotics: [https://shop.bsigroup.com/products/robots-and-robotic-devices-guide-to-the-ethical-design-and-application-of-robots-and-robotic-systems/standard BSI 8611:2016] ===<br /> <br /> &quot;system which has the ability to perform intended tasks based on current state, knowledge and sensing, without human intervention&quot; <br /> <br /> === Robotics: [https://ieeexplore.ieee.org/browse/standards/dictionary?activeStatus=false&amp;queryText=autonomous%20system IEEE Standards Dictionary] ===<br /> <br /> This context draws from standards and published definitions in the physically-embodied robotics community, as distinct from the computer science community or the artificial intelligence community.<br /> <br /> *;IEEE Standard 7001-2021 <br /> *: A system that has the capacity to make decisions itself in response to some input data or stimulus with a varying degree of human oversight or intervention depending on the system’s level of autonomy.<br /> <br /> === Artificial Intelligence: [https://ieeexplore.ieee.org/browse/standards/dictionary?activeStatus=false&amp;queryText=autonomous%20system IEEE Standards Dictionary] ===<br /> <br /> This context draws from standards and published definitions in the artificial intelligence community, as distinct from the computer science community or the physically-embodied robotics community.<br /> <br /> *;IEEE Standard 7010-2021 <br /> *: A semi-autonomous or autonomous computer-controlled system programmed to carry out some task with or without limited human intervention capable of decision making by independent inference and successfully adapting to its context. An example is an A/IS that refers to a computer system instantiated in a product or service. &#039;&#039;NOTE—For the purposes of IEEE Std 7010, A/IS encompasses AI and information systems (IS).&#039;&#039;<br /> <br /> == Other Definitions ==<br /> This section captures definitions of &#039;&#039;autonomous system&#039;&#039; that are used in other fields, outside the scope of this Body of Knowledge. They are included here to enable users to identify when their application area may introduce confusion.<br /> <br /> ==== Networking ====<br /> <br /> &#039;&#039;[https://csrc.nist.gov/glossary/term/autonomous_system Computing Security Resource Center (NIST)]&#039;&#039;<br /> *[https://nvlpubs.nist.gov/nistpubs/Legacy/SP/nistspecialpublication800-54.pdf NIST SP 800-54]: One or more routers under a single administration operating the same routing policy.<br /> *[https://nvlpubs.nist.gov/nistpubs/TechnicalNotes/NIST.TN.2060.pdf NIST TN 2060]: An Autonomous System specifies a network, mostly an organization that can own or announce network addresses to the Internet.<br /> <br /> <br /> ==== Mathematics ====<br /> [https://mathworld.wolfram.com/Autonomous.html Wolfram] defines &#039;&#039;autonomous system&#039;&#039; as a system of ordinary differential equations which do not explicitly contain the independent variable. See [https://math.libretexts.org/Bookshelves/Analysis/Supplemental_Modules_(Analysis)/Ordinary_Differential_Equations/2%3A_First_Order_Differential_Equations/2.5%3A_Autonomous_Differential_Equations]</div>

Signe https://robotistry.org/vasbok/index.php?title=Portal:Glossary&diff=79919 2023-08-21T14:01:37Z

<p>Signe: </p> <hr /> <div>Offer different classifications and groupings - in main page<br /> <br /> * Verification techniques (tree?)<br /> * Metrics (grouping)<br /> * Application area (e.g. ML systems, for HRI, for medical robots)<br /> * Related concepts (e.g. all the specification and requirements terms together)<br /> <br /> Contents of each linked page: <br /> * definitions with links to sources<br /> * short discussion of how topic relates to verification of autonomous systems<br /> <br /> &#039;&#039;&#039;&#039;&#039;[[Template]]&#039;&#039;&#039;&#039;&#039; for definition pages - please copy the markup from this page into your new definition page<br /> <br /> <br /> ;Acceptability<br /> : exposure to loss (financial or otherwise) from a risk that an organization is willing to tolerate <br /> ;Acceptance testing <br /> ;Accountability <br /> ;Activity <br /> : set of tasks that describe the technical effort to accomplish a process and help generate expected outcome [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> ;Assessment <br /> ;Assurance <br /> ;Assurance cases <br /> ;[[Autonomous System]]<br /> : &quot;system which has the ability to perform intended tasks based on current state, knowledge and sensing, without human intervention&quot; [https://shop.bsigroup.com/products/robots-and-robotic-devices-guide-to-the-ethical-design-and-application-of-robots-and-robotic-systems/standard BSI 8611:2016]<br /> ;Autonomous systems design<br /> ;Autonomy<br /> ;Automation<br /> : allocation of system functions to machines versus humans [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook] <br /> ;Anomaly <br /> : unexpected performance of intended function [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> <br /> <br /> ;Behavior verification for autonomous systems and ML systems <br /> ;Behavioral verification <br /> <br /> <br /> ;Combining V&amp;V Techniques <br /> ;Contextual reasoning <br /> ;Correctness verification <br /> ;Credibility <br /> ;Cross-domain / multi-domain validation<br /> ;Cyber-security <br /> <br /> <br /> ;Dependability <br /> <br /> <br /> ;Executable specifications <br /> ;Experiment design <br /> ;Explainability <br /> <br /> ;Failure<br /> : inability of a system, subsystem or component to perform its required function within specified limits [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> <br /> ;Failure detection and recovery <br /> ;Fault<br /> : physical or logical cause, which explains a failure [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> ;Formal methods for autonomous systems <br /> ;Formal modelling <br /> ;Formal software verification <br /> ;Functional assurance<br /> ;Functional requirements <br /> ;Functional verification <br /> <br /> <br /> ;HRI (Human-robot interactions)<br /> ;HRI verification <br /> ;Hybrid Logical/Dynamical Planning and Verification <br /> <br /> <br /> ;Generalizability <br /> <br /> <br /> ;Integrity of autonomous systems<br /> <br /> <br /> ;Liability <br /> ;Licensing and certification <br /> <br /> <br /> ;Model-based evaluation <br /> <br /> <br /> <br /> <br /> ;Objective evidence<br /> : ISO 9000:2015 - &quot;data, supporting the existence or verity of something&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> <br /> <br /> ;Operational design domain<br /> <br /> ;Process <br /> : &quot;set of interrelated or interacting activities that use inputs to deliver an intended result&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> <br /> ;Qualitative assessment <br /> ;Quality requirement<br /> : &quot;requirement related to quality&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> ;Quality plan <br /> : &quot;specification of the procedures and associated resources to be applied when and by whom to a specific object&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> ;Quantitative assessment <br /> <br /> <br /> <br /> ;Performance evaluation and benchmarking <br /> ;Privacy <br /> <br /> <br /> ;Redundant robots <br /> ;Reliability <br /> ;Replicability <br /> ;Reproducibility <br /> ;Requirements <br /> : Workspace and conditions/context of operations <br /> <br /> ;Requirement <br /> : &quot;need or expectation that is stated, generally implied or obligatory&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> <br /> ;Requirements development processes <br /> ;Resilience<br /> ;[[Responsibility]]<br /> : Either (a) responsible development and deployment of robotics, see [https://shop.bsigroup.com/products/robots-and-robotic-devices-guide-to-the-ethical-design-and-application-of-robots-and-robotic-systems/standard BSI 8611:2016] or<br /> : (b) responsible decisions by the autonomous system itself, see [https://doi.org/10.1016/j.artint.2022.103677 ethics for autonomous systems]<br /> ;Robot safety <br /> ;Robotic Systems <br /> : Robot systems engineering <br /> ;Robustness <br /> ;Run-time verification and monitoring <br /> <br /> <br /> ;Safety <br /> ;Safety and security interaction<br /> ;Safety in HRI<br /> : safety, system function<br /> : verification of any function in the system including ML &amp; non-deterministic functions<br /> ;Safety-centric HRI protocols<br /> ;Safety requirements <br /> ;Security <br /> ;Security requirements<br /> ;Simulation-based testing <br /> ;Sim-based evaluation<br /> ;Social/legal/ethical requirements <br /> ;Software testing and debugging <br /> ;Software tools for benchmarking and <br /> ;Software tools for testing <br /> : software testing <br /> ;Specification<br /> : &quot;document stating requirements&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> ;Synthetic environment <br /> : to develop high level test scenarios, drive test case development <br /> <br /> <br /> ;Test cases for verification purposes <br /> ;Testing <br /> ;Transparency <br /> ;Trust<br /> ;[[Trustworthiness]]<br /> : Generally, [https://dictionary.cambridge.org/dictionary/english/trustworthy &quot;able to be trusted&quot;].<br /> : In autonomous systems, moving beyond standard cyber-physical systems where trustworthiess is synonymous with reliability and extending this with [https://doi.org/10.1007/978-3-030-69128-8_2 beneficiality], i.e. evidence that the system is working for our benefit.<br /> <br /> ;Use-case scenario generation <br /> ;Use Case testing <br /> <br /> <br /> ;Validation: <br /> : further adds as &quot;A system is able to accomplish its intended use, goals and objectives (i.e., meet stakeholder requirements) in the intended operational environment. The right system was built.” ISO/IEC/IEEE 15288:2015 <br /> ;Verification: <br /> : defines verification as &quot;Confirmation, through the provision of objective evidence, that specified requirements have been fulfilled&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> : further adds as &quot;Verification is a set of activities that compare a system or system element against the required characteristics. This includes, but is not limited to specified requirements, design description and the system itself. The system was built right.&quot; ISO/IEC/IEEE 15288:2015<br /> ;Verification and Validation Process<br /> : Process of first, identifying the desired functionality and properties of the system, second, verifying that the system provides that functionality and possesses those properties, and third, validating that the system as delivered meets user needs. <br /> <br /> ==Notes==<br /> * Note that we need to discuss how we will handle definitions that are not part of standards and may not have agreed upon definitions</div>

Signe https://robotistry.org/vasbok/index.php?title=Portal:Glossary&diff=79918 2023-08-21T13:59:08Z

<p>Signe: Fixed definition for Validation so it didn&#039;t refer to verification anymore and added a definition for Verification and Validation Process.</p> <hr /> <div>Offer different classifications and groupings - in main page<br /> <br /> * Verification techniques (tree?)<br /> * Metrics (grouping)<br /> * Application area (e.g. ML systems, for HRI, for medical robots)<br /> * Related concepts (e.g. all the specification and requirements terms together)<br /> <br /> Contents of each linked page: <br /> * definitions with links to sources<br /> * short discussion of how topic relates to verification of autonomous systems<br /> <br /> &#039;&#039;&#039;&#039;&#039;[[Template]]&#039;&#039;&#039;&#039;&#039; for definition pages - please copy the markup from this page into your new definition page<br /> <br /> <br /> ;Acceptability<br /> : exposure to loss (financial or otherwise) from a risk that an organization is willing to tolerate <br /> ;Acceptance testing <br /> ;Accountability <br /> ;Activity <br /> : set of tasks that describe the technical effort to accomplish a process and help generate expected outcome [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> ;Assessment <br /> ;Assurance <br /> ;Assurance cases <br /> ;[[Autonomous System]]<br /> : &quot;system which has the ability to perform intended tasks based on current state, knowledge and sensing, without human intervention&quot; [https://shop.bsigroup.com/products/robots-and-robotic-devices-guide-to-the-ethical-design-and-application-of-robots-and-robotic-systems/standard BSI 8611:2016]<br /> ;Autonomous systems design<br /> ;Autonomy<br /> ;Automation<br /> : allocation of system functions to machines versus humans [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook] <br /> ;Anomaly <br /> : unexpected performance of intended function [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> <br /> <br /> ;Behavior verification for autonomous systems and ML systems <br /> ;Behavioral verification <br /> <br /> <br /> ;Combining V&amp;V Techniques <br /> ;Contextual reasoning <br /> ;Correctness verification <br /> ;Credibility <br /> ;Cross-domain / multi-domain validation<br /> ;Cyber-security <br /> <br /> <br /> ;Dependability <br /> <br /> <br /> ;Executable specifications <br /> ;Experiment design <br /> ;Explainability <br /> <br /> ;Failure<br /> : inability of a system, subsystem or component to perform its required function within specified limits [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> <br /> ;Failure detection and recovery <br /> ;Fault<br /> : physical or logical cause, which explains a failure [https://www.nasa.gov/seh/index.html NASA Systems Engineering Handbook]<br /> ;Formal methods for autonomous systems <br /> ;Formal modelling <br /> ;Formal software verification <br /> ;Functional assurance<br /> ;Functional requirements <br /> ;Functional verification <br /> <br /> <br /> ;HRI (Human-robot interactions)<br /> ;HRI verification <br /> ;Hybrid Logical/Dynamical Planning and Verification <br /> <br /> <br /> ;Generalizability <br /> <br /> <br /> ;Integrity of autonomous systems<br /> <br /> <br /> ;Liability <br /> ;Licensing and certification <br /> <br /> <br /> ;Model-based evaluation <br /> <br /> <br /> <br /> <br /> ;Objective evidence<br /> : ISO 9000:2015 - &quot;data, supporting the existence or verity of something&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> <br /> <br /> ;Operational design domain<br /> <br /> ;Process <br /> : &quot;set of interrelated or interacting activities that use inputs to deliver an intended result&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> <br /> ;Qualitative assessment <br /> ;Quality requirement<br /> : &quot;requirement related to quality&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> ;Quality plan <br /> : &quot;specification of the procedures and associated resources to be applied when and by whom to a specific object&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> ;Quantitative assessment <br /> <br /> <br /> <br /> ;Performance evaluation and benchmarking <br /> ;Privacy <br /> <br /> <br /> ;Redundant robots <br /> ;Reliability <br /> ;Replicability <br /> ;Reproducibility <br /> ;Requirements <br /> : Workspace and conditions/context of operations <br /> <br /> ;Requirement <br /> : &quot;need or expectation that is stated, generally implied or obligatory&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> <br /> ;Requirements development processes <br /> ;Resilience<br /> ;[[Responsibility]]<br /> : Either (a) responsible development and deployment of robotics, see [https://shop.bsigroup.com/products/robots-and-robotic-devices-guide-to-the-ethical-design-and-application-of-robots-and-robotic-systems/standard BSI 8611:2016] or<br /> : (b) responsible decisions by the autonomous system itself, see [https://doi.org/10.1016/j.artint.2022.103677 ethics for autonomous systems]<br /> ;Robot safety <br /> ;Robotic Systems <br /> : Robot systems engineering <br /> ;Robustness <br /> ;Run-time verification and monitoring <br /> <br /> <br /> ;Safety <br /> ;Safety and security interaction<br /> ;Safety in HRI<br /> : safety, system function<br /> : verification of any function in the system including ML &amp; non-deterministic functions<br /> ;Safety-centric HRI protocols<br /> ;Safety requirements <br /> ;Security <br /> ;Security requirements<br /> ;Simulation-based testing <br /> ;Sim-based evaluation<br /> ;Social/legal/ethical requirements <br /> ;Software testing and debugging <br /> ;Software tools for benchmarking and <br /> ;Software tools for testing <br /> : software testing <br /> ;Specification<br /> : &quot;document stating requirements&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> ;Synthetic environment <br /> : to develop high level test scenarios, drive test case development <br /> <br /> <br /> ;Test cases for verification purposes <br /> ;Testing <br /> ;Transparency <br /> ;Trust<br /> ;[[Trustworthiness]]<br /> : Generally, [https://dictionary.cambridge.org/dictionary/english/trustworthy &quot;able to be trusted&quot;].<br /> : In autonomous systems, moving beyond standard cyber-physical systems where trustworthiess is synonymous with reliability and extending this with [https://doi.org/10.1007/978-3-030-69128-8_2 beneficiality], i.e. evidence that the system is working for our benefit.<br /> <br /> ;Use-case scenario generation <br /> ;Use Case testing <br /> <br /> <br /> ;Validation: <br /> : further adds as &quot;A system is able to accomplish its intended use, goals and objectives (i.e., meet stakeholder requirements) in the intended operational environment. The right system was built.” ISO/IEC/IEEE 15288:2015 <br /> ;Verification: <br /> : defines verification as &quot;Confirmation, through the provision of objective evidence, that specified requirements have been fulfilled&quot; [https://bsol.bsigroup.com/Bibliographic/BibliographicInfoData/000000000030412048 ISO 9000:2015]<br /> : further adds as &quot;Verification is a set of activities that compare a system or system element against the required characteristics. This includes, but is not limited to specified requirements, design description and the system itself. The system was built right.&quot; ISO/IEC/IEEE 15288:2015<br /> ;Verification and Validation Process&lt;ref&gt;Note that we need to discuss how we will handle definitions that are not part of standards and may not have agreed upon definitions&lt;\ref&gt;<br /> : Process of first, identifying the desired functionality and properties of the system, second, verifying that the system provides that functionality and possesses those properties, and third, validating that the system as delivered meets user needs. <br /> <br /> &lt;references /&gt;</div>

Signe https://robotistry.org/vasbok/index.php?title=Main_Page&diff=79917 2023-08-21T13:52:20Z

<p>Signe: </p> <hr /> <div>&lt;strong&gt;Verification of Autonomous Systems Body of Knowledge&lt;/strong&gt;<br /> <br /> This site contains a number of different types of information, including tutorials, keyword definitions, and basic and advanced contextual information about verification of autonomous systems.<br /> <br /> [https://robotistry.org/vasbok/index.php/Welcome_to_VASBoK Welcome to VAS Book of Knowledge]<br /> <br /> [[Dictionary]]<br /> <br /> == Helpful Links ==<br /> <br /> Consult the [https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents User&#039;s Guide] for information on using the wiki software.<br /> <br /> == Getting started ==<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Configuration_settings Configuration settings list]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:FAQ MediaWiki FAQ]<br /> * [https://lists.wikimedia.org/postorius/lists/mediawiki-announce.lists.wikimedia.org/ MediaWiki release mailing list]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Localisation#Translation_resources Localise MediaWiki for your language]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Combating_spam Learn how to combat spam on your wiki]<br /> * [https://www.mediawiki.org/wiki/Help:Editing Help with editing wiki pages]</div>

Signe https://robotistry.org/vasbok/index.php?title=Main_Page&diff=79916 2023-08-21T13:51:45Z

<p>Signe: </p> <hr /> <div>&lt;strong&gt;Verification of Autonomous Systems Body of Knowledge&lt;/strong&gt;<br /> <br /> This site contains a number of different types of information, including tutorials, keyword definitions, and basic and advanced contextual information about verification of autonomous systems.<br /> <br /> [https://robotistry.org/vasbok/index.php/Welcome_to_VASBoK | Welcome to VAS Book of Knowledge]<br /> <br /> [[Dictionary]]<br /> <br /> == Helpful Links ==<br /> <br /> Consult the [https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents User&#039;s Guide] for information on using the wiki software.<br /> <br /> == Getting started ==<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Configuration_settings Configuration settings list]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:FAQ MediaWiki FAQ]<br /> * [https://lists.wikimedia.org/postorius/lists/mediawiki-announce.lists.wikimedia.org/ MediaWiki release mailing list]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Localisation#Translation_resources Localise MediaWiki for your language]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Combating_spam Learn how to combat spam on your wiki]<br /> * [https://www.mediawiki.org/wiki/Help:Editing Help with editing wiki pages]</div>

Signe https://robotistry.org/vasbok/index.php?title=Main_Page&diff=79915 2023-08-21T13:51:29Z

<p>Signe: </p> <hr /> <div>&lt;strong&gt;Verification of Autonomous Systems Body of Knowledge&lt;/strong&gt;<br /> <br /> This site contains a number of different types of information, including tutorials, keyword definitions, and basic and advanced contextual information about verification of autonomous systems.<br /> <br /> [[https://robotistry.org/vasbok/index.php/Welcome_to_VASBoK | Welcome to VAS Book of Knowledge]]<br /> <br /> [[Dictionary]]<br /> <br /> == Helpful Links ==<br /> <br /> Consult the [https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents User&#039;s Guide] for information on using the wiki software.<br /> <br /> == Getting started ==<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Configuration_settings Configuration settings list]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:FAQ MediaWiki FAQ]<br /> * [https://lists.wikimedia.org/postorius/lists/mediawiki-announce.lists.wikimedia.org/ MediaWiki release mailing list]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Localisation#Translation_resources Localise MediaWiki for your language]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Combating_spam Learn how to combat spam on your wiki]<br /> * [https://www.mediawiki.org/wiki/Help:Editing Help with editing wiki pages]</div>

Signe https://robotistry.org/vasbok/index.php?title=Main_Page&diff=79914 2023-08-21T13:51:10Z

<p>Signe: </p> <hr /> <div>&lt;strong&gt;Verification of Autonomous Systems Body of Knowledge&lt;/strong&gt;<br /> <br /> This site contains a number of different types of information, including tutorials, keyword definitions, and basic and advanced contextual information about verification of autonomous systems.<br /> <br /> [[https://robotistry.org/vasbok/index.php/Welcome_to_VASBoK| Welcome to VAS Book of Knowledge]]<br /> <br /> [[Dictionary]]<br /> <br /> == Helpful Links ==<br /> <br /> Consult the [https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents User&#039;s Guide] for information on using the wiki software.<br /> <br /> == Getting started ==<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Configuration_settings Configuration settings list]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:FAQ MediaWiki FAQ]<br /> * [https://lists.wikimedia.org/postorius/lists/mediawiki-announce.lists.wikimedia.org/ MediaWiki release mailing list]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Localisation#Translation_resources Localise MediaWiki for your language]<br /> * [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Combating_spam Learn how to combat spam on your wiki]<br /> * [https://www.mediawiki.org/wiki/Help:Editing Help with editing wiki pages]</div>

Signe https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&diff=79906 2022-10-04T12:31:17Z

<p>Signe: </p> <hr /> <div>The Verification of Autonomous Systems Body of Knowledge ([[VAS-BoK]]) is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]&#039;s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] (TC-VAS) Education Working Group.<br /> <br /> It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems. <br /> <br /> {| id=&quot;searchtable&quot; class=&quot;wikitable&quot; style=&quot;margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;&quot;<br /> &lt;!--|+&#039;&#039;VASBoK&#039;s {{NUMBEROFARTICLES}} articles have been viewed &lt;span class = &quot;totalnumberofviews&quot;&gt;&lt;/span&gt; times.&#039;&#039;--&gt;<br /> &lt;!-- !&lt;inputbox&gt;<br /> type=fulltext<br /> break=no<br /> searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}}<br /> &lt;/inputbox&gt; --&gt;<br /> |-<br /> !<br /> &lt;big&gt;[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]&lt;/big&gt;<br /> |}<br /> <br /> &lt;gallery&gt;<br /> File:Question.png|[[Portal:Verification|What is Verification?]]<br /> File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]]<br /> File:Books2.png|[[Portal:Sources|Sources]]<br /> File:People.png|[[Portal:People|People]]<br /> File:Hammer2.png|[[Portal:Tools|Tools and Processes]]<br /> File:Glossary.png|[[Portal:Glossary|Glossary]]<br /> File:Events.png|[[Portal:Events|Events]]<br /> &lt;/gallery&gt;<br /> <br /> == Learn the basics ==<br /> * [[Definitions]]<br /> * [[Primer for researchers]]<br /> * [[Primer for certification and licensing agencies]]<br /> * [[Primer for robot developers]]<br /> * [[Primer for autonomous behavior designers]]<br /> * [[Primer for artificial intelligence specialists]]<br /> <br /> == Verification in practice ==<br /> * [[Best practices for xxx]]<br /> * [[Guide for yyy]]<br /> <br /> == Learn More ==<br /> * [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group)<br /> * [[History]] of Verification of Autonomous Systems<br /> <br /> == Opportunities to Participate ==<br /> * Link to IEEE Standards Development Working Group P2817<br /> * Link to IEEE TC-VAS Education Working Group<br /> * Link to IEEE TC-VAS Roadmap Development Working Group<br /> <br /> [[Category:VASBoK navigation]]</div>

Signe https://robotistry.org/vasbok/index.php?title=Portal:Events&diff=74042 2022-08-23T12:47:12Z

<p>Signe: </p> <hr /> <div>IEEE RAS Technical Committee for Verification of Autonomous Systems [https://www.ieee-ras.org/verification-of-autonomous-systems/activities-verification-of-autonomous-systems activities].<br /> <br /> == Regular Events ==<br /> <br /> === Webinars ===<br /> Pandemic considerations temporarily interrupted our planned workshops and inaugurated the TC-VAS webinar series.<br /> <br /> Links to the talks and information about how to join are posted on the IEEE RAS [https://www.ieee-ras.org/verification-of-autonomous-systems/activities-verification-of-autonomous-systems TC-VAS website].<br /> <br /> === Conferences / Symposia ===<br /> &lt;When we start having these, this is where they will go!&gt;<br /> <br /> == Past Events ==<br /> <br /> === Pre-IEEE Technical Committee VAS Working group meetings ===<br /> <br /> April, 2014: [https://www.robotistry.org/vaswg/nrl2014/nrl2014.html Working Group Kick-off Meeting]<br /> <br /> June, 2015: [https://www.robotistry.org/vaswg/nist2015/nist2015.html NIST Working Group Meeting 1]<br /> <br /> May, 2016: [https://www.robotistry.org/vaswg/VerificationWorkshop.html ICRA 2016 Workshop]<br /> <br /> September, 2017: [https://sites.gatech.edu/iros2017-vasw/ IROS 2017 Workshop]<br /> <br /> May, 2018: [https://robotistry.org/vaswg/icra2018/VerificationWorkshop18.html ICRA 2018 Workshop]<br /> <br /> November, 2018: [https://www.robotistry.org/vaswg/nist2018/nist2018.html NIST Working Group Meeting 2]<br /> <br /> === Technical Committee for Verification of Autonomous Systems (TC-VAS) Events ===<br /> <br /> ==== Workshops ====<br /> <br /> May, 2022: [https://robotistry.org/vaswg/ICRA22_Workshop/index.html ICRA 2022 Workshop]</div>

Signe https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&diff=74033 2022-08-23T12:43:31Z

<p>Signe: Undo revision 36627 by StefanieSorensen (talk)</p> <hr /> <div>The Verification of Autonomous Systems Body of Knowledge ([[VAS-BoK]]) is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]&#039;s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] (TC-VAS) Education Working Group.<br /> <br /> It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems. <br /> <br /> {| id=&quot;searchtable&quot; class=&quot;wikitable&quot; style=&quot;margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;&quot;<br /> &lt;!--|+&#039;&#039;VASBoK&#039;s {{NUMBEROFARTICLES}} articles have been viewed &lt;span class = &quot;totalnumberofviews&quot;&gt;&lt;/span&gt; times.&#039;&#039;--&gt;<br /> &lt;!-- !&lt;inputbox&gt;<br /> type=fulltext<br /> break=no<br /> searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}}<br /> &lt;/inputbox&gt; --&gt;<br /> |-<br /> !<br /> &lt;big&gt;[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]&lt;/big&gt;<br /> |}<br /> <br /> &lt;gallery&gt;<br /> File:Question.png|[[Portal:Verification|What is Verification?]]<br /> File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]]<br /> File:Books2.png|[[Portal:Sources|Sources]]<br /> File:People.png|[[Portal:People|People]]<br /> File:Hammer2.png|[[Portal:Tools|Tools and Processes]]<br /> File:Glossary.png|[[Portal:Glossary|Glossary]]<br /> File:Events.png|[[Portal:Events|Events]]<br /> &lt;/gallery&gt;<br /> <br /> == Learn the basics ==<br /> * [[Definitions]]<br /> * [[Primer for researchers]]<br /> * [[Primer for certification and licensing agencies]]<br /> * [[Primer for robot developers]]<br /> * [[Primer for autonomous behavior designers]]<br /> * [[Primer for artificial intelligence specialists]]<br /> <br /> == Verification in practice ==<br /> * [[Best practices for xxx]]<br /> * [[Guide for yyy]]<br /> <br /> == Learn More ==<br /> * [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group)<br /> * [[History]] of Verification of Autonomous Systems<br /> <br /> [[Category:VASBoK navigation]]</div>

Signe https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&diff=74032 2022-08-23T12:43:19Z

<p>Signe: Undo revision 60428 by TorriNutt7 (talk)</p> <hr /> <div>[https://classifiedsuae.com/user/profile/1151279 CBD jelly sweets] are available in a variety of forms. Some are sugar-free, while others are sour. Jelly beans come in a variety of flavors, including cinnamon, spicy licorice, and strawberry cheesecake. Some are flavored with sugar to mask the taste of CBD. However, it is important to obtain a lab report before purchasing [http://allvisainfo.com/UserProfile/tabid/43/userId/64510/Default.aspx cbd oil sweets uk] jelly sweets. Spectrum Confections sells bulk CBD jelly beans.&lt;br&gt;&lt;br&gt;Jelly Belly&lt;br&gt;&lt;br&gt;Jelly Belly jelly bean CBD-infused jelly beans have the familiar taste and texture of childhood snacks however, they are much more. The soft, sour beans are available in strawberry cheesecake, spicy licorice and cinnamon flavors. While their unique flavor may not appeal to the casual candy lover however, many find these CBD-infused jelly sweets refreshing, and even healing. If you&#039;re looking for a delicious snack CBD-infused jelly beans could be the right choice for you!&lt;br&gt;&lt;br&gt;The CBD jelly beans are not made by the same company that created Jelly Belly, the famous jelly-bean brand. In fact, the CBD jelly beans are manufactured by an independent third-party called David Klein, who has nothing to be associated with the company. Klein was one of the first people to create the name &quot;Jelly Belly&quot; in 1970s and also patented the sweets. Klein has since expanded his business to include other beans including a gourmet line CBD jellybeans as well as bags of CBD beans.&lt;br&gt;&lt;br&gt;The first batch of CBD jelly beans was offered on the internet. Spectrum Confections will only be selling wholesale orders online until the supplies arrive. The company plans to sell CBD-infused jelly beans in retail stores. Prices will be determined by how much CBD costs in actual dollars. While the company&#039;s products may not be available in your area however, you can still purchase edibles infused with CBD. The company plans to eventually launch CBD-infused Jelly Belly in the drugstores, grocery stores and health food stores.&lt;br&gt;&lt;br&gt;PlusCBD&lt;br&gt;&lt;br&gt;+Plus CBD CBD CBD jelly sweets are packaged in a cardboard and glass bottle. Each serving is a full spectrum of 15mg CO2 extract CBD. This tincture is not flavored or smell, it&#039;s pure CBD. Beeswax is another ingredient, and can be beneficial in skin care. Bees don&#039;t want bacteria consume the medicine, therefore beeswax naturally is a source of antiviral and antibiotic compounds. Beeswax is also a useful emulsifier and stabilizer.&lt;br&gt;&lt;br&gt;CBD oil Gummies from Plus CBD are [http://oldwiki.bedlamtheatre.co.uk/index.php/Do_You_Make_These_Edible_CBD_Sweets_Mistakes edible cbd sweets], containing 5 milligrams of CBD per serving. These jelly sweets are an excellent option for those who want to take CBD in a practical way. The product is not harmful and delicious! The jelly sweets are available in three flavors: lime kisses mango, and cherry. The company also offers the gummy version that has a natural flavor and five milligrams of CBD per serving.&lt;br&gt;&lt;br&gt;The CBD Gummies have a powerful Extra Strength formula extract. This ingredient is helpful for minor pains and aches, as also depression and anxiety. The jelly sweets also contain cannabinoids Terpenes and pea protein. Each serving is only four grams of fat. These CBD products are safe for everyone because they are natural.&lt;br&gt;&lt;br&gt;Jelly Beans&lt;br&gt;&lt;br&gt;CBD jelly sweets are a delicious way to take a sprinkling of CBD, while also feeling at ease about it. They are made from natural CBD-infused gums and sweets and come in a variety of styles and flavors. CBD sweets can be enjoyed whenever you are in the mood. CBD jelly sweets aren&#039;t just delicious, they also help you focus on your goals. They&#039;re a great option to get CBD and cannabinoids without suffering the negative side effects of traditional pills.&lt;br&gt;&lt;br&gt;CBD jelly beans were developed by the same man who created the classic jelly bean. Spectrum Confections is a cannabis-based candy company that blends CBD and sweets edibles the well-known jellies. David Klein, who developed the jelly beans in the 1980s, has developed an CBD version. After a lot of press attention, [http://en.wiki.a51.games/index.php?title=How_To_Edible_CBD_Sweets_Something_For_Small_Businesses cbd sweets effects] jelly beans are currently out of stock. However, he plans to release additional kinds of CBD jelly beans soon.&lt;br&gt;&lt;br&gt;The CBD oil sold at Denise Hemp Shop comes in three potency levels, from three to 25 percent. The most potent CBD oil is for people who suffer from stress and anxiety. The lower dose is for people suffering from skin issues. Apart from [https://valuepharmacists.com/community/profile/ivygowrie220334/ CBD jelly sweets], Denise Hemp Shop also has a skincare line that treats various skin conditions. Denise Hemp Shop does not sell CBD jelly sweets to children who are less than 18 years old.&lt;br&gt;&lt;br&gt;Cornbread Hemp&lt;br&gt;&lt;br&gt;If you&#039;re looking for a better alternative to CBD oil capsules, CBD gummies may be the answer. Made with premium, organic hemp, these delicious treats are simple to eat and come in a variety flavors. They are vegan and gluten-free, and contain 10 mg of CBD per serving. The packaging is child-proof with a child-resistant lid. Gummies are a rich, red color and a soft texture. The sweet flavor is sure to please the whole family.&lt;br&gt;&lt;br&gt;This brand also produces CBD Gummies. They are USDA-certified organic and have only 0.3 percent THC. In addition to CBD Gummies, they also make CBD oil and cream, along with an arnica-based organic peppermint and cream with a peppermint flavor. They&#039;re a vegan alternative for traditional cannabis oil and also contain CBD oil that is suitable for pets. These CBD gummies are vegan-friendly and contain only the flower and not the stems, or leaves.&lt;br&gt;&lt;br&gt;Cornbread Hemp CBD jelly [http://wiki.dris.agr.br/index.php/Edible_CBD_Sweets_And_Get_Rich_Or_Improve_Trying sweets gummies] come in convenient capsules and tinctures. They are USDA-certified, and contain 25 mg of CBD. They are made of gelatin and MCT oils that are organic. Other products of this company include topicals, capsules and tinctures. Cornbread Hemp offers all-natural oils essential oils, as well as gummies. The pet tincture is purchased in a variety of strengths.&lt;br&gt;&lt;br&gt;Jelly Beans filled with cannabidol&lt;br&gt;&lt;br&gt;CBD Jelly Beans are the most recent trend in edible cannabis. Spectrum Confections recently launched CBD jelly beans with 38 flavors. The beans are infused with 10mg CBD and coated in sugar to disguise the flavor. They are CBD jelly beans are available in sour, sweet, and sugar-free varieties. The consumer will have a variety of options with regards to CBD-infused jelly beans, depending on which type of cannabis oil and flower they&#039;re using.&lt;br&gt;&lt;br&gt;CBD Jelly Beans are available in 38 different flavors, including sugar-free ones. CBD Jelly Beans come with flavors like strawberry cheesecake, toasted marshmallow pina colada, [https://wikicomments.org/index.php?title=Do_You_Need_To_CBD_Jelly_Sweets_To_Be_A_Good_Marketer CBD jelly sweets] cinnamon spicy licorice, as well as mango. The jelly beans are coated with dextrose and have 10 mg of CBD. They are also available in sugar-free versions that contain no sugar.&lt;br&gt;&lt;br&gt;CBD Jelly Beans can only be consumed by adults. The company has also sold the rights to Jelly Belly&#039;s original brand to another manufacturer of candy. David Klein, the creator of Jelly Belly, sold his trademark in the 1980s to Herman Goelitz Candy Company. Spectrum Confections will continue to sell the popular jelly bean and CBD Jelly Beans will soon be available in 38 different flavors.&lt;br&gt;&lt;br&gt;High Potency CBD Gummies&lt;br&gt;&lt;br&gt;High-potency CBD gummies are a great way to benefit from CBD without experiencing any side negative effects. CBD Gummies are a simple, discreet way to take CBD. However, as with all CBD products there are a variety of potencies of the CBD. Certain gummies are powerful but others lose their potency over time. Because of this, it is crucial to be aware of what to look for in an extremely potent CBD gummy. There are no standards for the potency. However, there are some things you should look out for.&lt;br&gt;&lt;br&gt;It is important to remember that CBD is a component of cannabis. It could have adverse effects, and it may be beneficial for certain. People who have been drug-tested should steer clear of CBD products. The best method to find out the amount of CBD in a particular product is to do some research first. Based on your goals there are many methods to figure out the amount of CBD you need to consume. For sweets example, some people find CBD gummies to be too powerful. If you&#039;re concerned about getting high, try cutting them in half.&lt;br&gt;&lt;br&gt;Hemp Bombs&#039; High Potency CBD Gummies offer more potency. Each gummy contains 30mg of premium CBD. For those looking for an extremely potent CBD gummy, these are an ideal choice. While these gummies do not contain THC They are manufactured following strict manufacturing guidelines. It is not recommended for pregnant mothers, [https://vanburg.com/mw19/index.php/4_Ways_To_Better_CBD_Jelly_Sweets_Without_Breaking_A_Sweat CBD jelly sweets] children, or people who have serious health issues. It is best to consult an expert before taking CBD supplements.</div>

Signe https://robotistry.org/vasbok/index.php?title=VASBoK:About&diff=141 2022-07-11T19:25:22Z

<p>Signe: Created page with &quot;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...&quot;</p> <hr /> <div>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.<br /> <br /> The [[Portal:Verification|What is Verification?]] section introduces the topic and investigates the different ways people approach the topic.<br /> <br /> The [[Portal:Tutorials|Tutorials]] section contains links to tutorials for specific tools and processes.<br /> <br /> The [[Portal:Sources|Sources]] section connects the site user to papers, books, software tools and other resources.<br /> <br /> The [[Portal:People|People]] section identifies individuals with specific expertise within the field.<br /> <br /> The [[Portal:Tools|Tools and Processes]] section focuses on helping the user understand the various tools and processes available to support verification of autonomous systems.<br /> <br /> The [[Portal:Glossary|Glossary]] captures the terminology and definitions relevant to the topic and provides a space for discussion and explanation of the different ways that different interested parties use the various terms. It also provides links to the definitions used in different standards, and provides a centralized location for other pages on the site to link to terms.<br /> <br /> The [[Portal:Events|Events]] section provides links to past events.</div>

Signe https://robotistry.org/vasbok/index.php?title=Portal:Tools&diff=140 2022-06-28T12:49:41Z

<p>Signe: </p> <hr /> <div>&lt;big&gt;Verification of Autonomous Systems -- A Selection of Tools and Processes &lt;/big&gt;<br /> <br /> == Tools ==<br /> <br /> === Specification &amp; Modelling ===<br /> * Modelling of Robotic Systems: [https://www.cs.york.ac.uk/robostar/robotool/ RoboTool]<br /> * Modelling of Robotic Systems: [https://redmine.laas.fr/projects/genom3-fiacre-template/gollum/index GenoM]<br /> * Executable Agent Specifications: [https://www.csc.liv.ac.uk/~michael/TLBook/MetateM-System/ Concurrent MetateM] (not maintained)<br /> <br /> [[Portal:Sources#Title 1|Title 1]]<br /> <br /> === Formal Verification ===<br /> * Program model-checking of agent-based Autonomous Systems: [https://autonomy-and-verification.github.io/tools/mcapl MCAPL]<br /> * Robustness analyzer for Neural Networks: [https://github.com/eth-sri/eran ERAN]<br /> * SMT solver for Neural Networks: [https://github.com/NeuralNetworkVerification/Marabou Marabou]<br /> * Theorem prover for Cyber-Physical Systems: [http://www.ls.cs.cmu.edu/KeYmaeraX/ KeYmaera X]<br /> <br /> === Software Testing ===<br /> * Conformance testing of Cyber-Physical Systems: [https://github.com/hlsa/HyConf HyConf]<br /> <br /> ==== Concolic Testing ==== <br /> Concolic testing alternates between concrete examples and symbolic analysis. <br /> * Concolic testing for Deep Neural Networks: [https://github.com/xiaoweih/DeepConcolic DeepConcolic]<br /> <br /> <br /> === Physical Testing ===<br /> * Physical integration testing for ROS 2: [https://github.com/FlorisE/rospit2/blob/main/README.md ROSPIT]<br /> <br /> <br /> === Runtime Verification ===<br /> * Runtime verification for Robot Operating System (ROS): [https://github.com/autonomy-and-verification-uol/ROSMonitoring ROSMonitoring]<br /> * Runtime verification of Robotic Systems: [https://github.com/autonomy-and-verification-uol/varanus Varanus]<br /> * Runtime verification for Robot Operating System (ROS): [https://github.com/Formal-Systems-Laboratory/ROSRV ROSRV]<br /> <br /> === Multi-purpose verification tools ===<br /> * [https://github.com/decyphir/breach Breach]<br /> ** How to write STL requirements<br /> ** Falsification of STL requirements<br /> ** Monitoring for STL formulae<br /> ** Interfacing with Simulink models using the toolbox<br /> ** Available in Github<br /> <br /> * [https://sites.google.com/a/asu.edu/s-taliro/s-taliro S-Taliro] <br /> ** Verification<br /> ** Conformance testing<br /> ** MATLAB toolbox<br /> <br /> * [https://gitlab.com/sbtg/psy-taliro PSY-Taliro]<br /> ** Python toolbox for S-Taliro <br /> ** Available on Gitlab<br /> ** [https://link.springer.com/chapter/10.1007/978-3-030-85248-1_15 Paper reference]<br /> <br /> <br /> <br /> == Processes ==<br /> * Model after the Guide on VAS but more detailed<br /> * Refer to standards on verification processes (double V model, software verification, cybersecurity(?), assurance cases, etc.)<br /> * This can link back to tools sections<br /> <br /> === Specifications ===<br /> === Formal methods ===<br /> === Assurance cases ===<br /> === Testing ===</div>

Signe https://robotistry.org/vasbok/index.php?title=Portal:Tools&diff=139 2022-06-28T12:49:26Z

<p>Signe: </p> <hr /> <div>&lt;big&gt;Verification of Autonomous Systems -- A Selection of Tools and Processes &lt;/big&gt;<br /> <br /> == Tools ==<br /> <br /> === Specification &amp; Modelling ===<br /> * Modelling of Robotic Systems: [https://www.cs.york.ac.uk/robostar/robotool/ RoboTool]<br /> * Modelling of Robotic Systems: [https://redmine.laas.fr/projects/genom3-fiacre-template/gollum/index GenoM]<br /> * Executable Agent Specifications: [https://www.csc.liv.ac.uk/~michael/TLBook/MetateM-System/ Concurrent MetateM] (not maintained)<br /> <br /> [[Portal:Sources#Title 1|Title 1]]<br /> <br /> === Formal Verification ===<br /> * Program model-checking of agent-based Autonomous Systems: [https://autonomy-and-verification.github.io/tools/mcapl MCAPL]<br /> * Robustness analyzer for Neural Networks: [https://github.com/eth-sri/eran ERAN]<br /> * SMT solver for Neural Networks: [https://github.com/NeuralNetworkVerification/Marabou Marabou]<br /> * Theorem prover for Cyber-Physical Systems: [http://www.ls.cs.cmu.edu/KeYmaeraX/ KeYmaera X]<br /> <br /> === Software Testing ===<br /> * Conformance testing of Cyber-Physical Systems: [https://github.com/hlsa/HyConf HyConf]<br /> <br /> ==== Concolic Testing ==== <br /> Concolic testing alternates between concrete examples and symbolic analysis. <br /> <br /> Concolic testing for Deep Neural Networks: [https://github.com/xiaoweih/DeepConcolic DeepConcolic]<br /> <br /> <br /> === Physical Testing ===<br /> * Physical integration testing for ROS 2: [https://github.com/FlorisE/rospit2/blob/main/README.md ROSPIT]<br /> <br /> <br /> === Runtime Verification ===<br /> * Runtime verification for Robot Operating System (ROS): [https://github.com/autonomy-and-verification-uol/ROSMonitoring ROSMonitoring]<br /> * Runtime verification of Robotic Systems: [https://github.com/autonomy-and-verification-uol/varanus Varanus]<br /> * Runtime verification for Robot Operating System (ROS): [https://github.com/Formal-Systems-Laboratory/ROSRV ROSRV]<br /> <br /> === Multi-purpose verification tools ===<br /> * [https://github.com/decyphir/breach Breach]<br /> ** How to write STL requirements<br /> ** Falsification of STL requirements<br /> ** Monitoring for STL formulae<br /> ** Interfacing with Simulink models using the toolbox<br /> ** Available in Github<br /> <br /> * [https://sites.google.com/a/asu.edu/s-taliro/s-taliro S-Taliro] <br /> ** Verification<br /> ** Conformance testing<br /> ** MATLAB toolbox<br /> <br /> * [https://gitlab.com/sbtg/psy-taliro PSY-Taliro]<br /> ** Python toolbox for S-Taliro <br /> ** Available on Gitlab<br /> ** [https://link.springer.com/chapter/10.1007/978-3-030-85248-1_15 Paper reference]<br /> <br /> <br /> <br /> == Processes ==<br /> * Model after the Guide on VAS but more detailed<br /> * Refer to standards on verification processes (double V model, software verification, cybersecurity(?), assurance cases, etc.)<br /> * This can link back to tools sections<br /> <br /> === Specifications ===<br /> === Formal methods ===<br /> === Assurance cases ===<br /> === Testing ===</div>

Signe https://robotistry.org/vasbok/index.php?title=History&diff=138 2022-06-28T12:37:03Z

<p>Signe: </p> <hr /> <div>== History of Verification of Autonomous Systems ==<br /> <br /> &lt;Summary of this page&gt;<br /> <br /> === Prior Work in Related Fields ===<br /> <br /> &lt;Bit of text about different fields&#039; related work&gt;<br /> <br /> ==== Software Assurance ====<br /> <br /> &lt;Summary of relevant work in software assurance&gt;<br /> <br /> ==== Formal Methods ====<br /> <br /> &lt;Summary of work in formal approaches to assurance and verification prior to application to autonomous systems&gt;<br /> <br /> === Early Activities ===<br /> <br /> &lt;Discussion of the Verification of Autonomous Systems Working Group (VASWG)&gt;<br /> <br /> === Developing As A Field ===<br /> <br /> &lt;Text about maturation, current state, pointer to roadmap?&gt;<br /> <br /> ==== IEEE Technical Committee ====<br /> <br /> &lt;Formation of TC&gt;<br /> <br /> ==== IEEE Standards Development ====<br /> <br /> &lt;Standards development&gt;</div>

Signe https://robotistry.org/vasbok/index.php?title=History&diff=137 2022-06-28T12:35:25Z

<p>Signe: Created page with &quot;== History of Verification of Autonomous Systems == &lt;Summary of this page&gt; === Prior Work in Related Fields === &lt;Bit of text about different fields&#039; related work&gt; ==== Software Assurance ==== &lt;Summary of relevant work in software assurance&gt; ==== Formal Methods ==== &lt;Summary of work in formal approaches to assurance and verification prior to application to autonomous systems&gt; === Early Activities === &lt;Discussion of the Verification of Autonomous Systems Working G...&quot;</p> <hr /> <div>== History of Verification of Autonomous Systems ==<br /> <br /> &lt;Summary of this page&gt;<br /> <br /> === Prior Work in Related Fields ===<br /> <br /> &lt;Bit of text about different fields&#039; related work&gt;<br /> <br /> ==== Software Assurance ====<br /> <br /> &lt;Summary of relevant work in software assurance&gt;<br /> <br /> ==== Formal Methods ====<br /> <br /> &lt;Summary of work in formal approaches to assurance and verification prior to application to autonomous systems&gt;<br /> <br /> === Early Activities ===<br /> <br /> &lt;Discussion of the Verification of Autonomous Systems Working Group (VASWG)&gt;<br /> <br /> === Developing As A Field ===<br /> <br /> &lt;TC, Standards development&gt;</div>

Signe https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&diff=133 2022-06-22T19:32:27Z

<p>Signe: </p> <hr /> <div>The Verification of Autonomous Systems Body of Knowledge ([[VAS-BoK]]) is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]&#039;s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] (TC-VAS) Education Working Group.<br /> <br /> It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems. <br /> <br /> {| id=&quot;searchtable&quot; class=&quot;wikitable&quot; style=&quot;margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;&quot;<br /> &lt;!--|+&#039;&#039;VASBoK&#039;s {{NUMBEROFARTICLES}} articles have been viewed &lt;span class = &quot;totalnumberofviews&quot;&gt;&lt;/span&gt; times.&#039;&#039;--&gt;<br /> &lt;!-- !&lt;inputbox&gt;<br /> type=fulltext<br /> break=no<br /> searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}}<br /> &lt;/inputbox&gt; --&gt;<br /> |-<br /> !<br /> &lt;big&gt;[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]&lt;/big&gt;<br /> |}<br /> <br /> &lt;gallery&gt;<br /> File:Question.png|[[Portal:Verification|What is Verification?]]<br /> File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]]<br /> File:Books2.png|[[Portal:Sources|Sources]]<br /> File:People.png|[[Portal:People|People]]<br /> File:Hammer2.png|[[Portal:Tools|Tools and Processes]]<br /> File:Glossary.png|[[Portal:Glossary|Glossary]]<br /> File:Events.png|[[Portal:Events|Events]]<br /> &lt;/gallery&gt;<br /> <br /> == Learn the basics ==<br /> * [[Definitions]]<br /> * [[Primer for researchers]]<br /> * [[Primer for certification and licensing agencies]]<br /> * [[Primer for robot developers]]<br /> * [[Primer for autonomous behavior designers]]<br /> * [[Primer for artificial intelligence specialists]]<br /> <br /> == Verification in practice ==<br /> * [[Best practices for xxx]]<br /> * [[Guide for yyy]]<br /> <br /> == Learn More ==<br /> * [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group)<br /> * [[History]] of Verification of Autonomous Systems<br /> <br /> [[Category:VASBoK navigation]]</div>

Signe https://robotistry.org/vasbok/index.php?title=File:People.png&diff=132 2022-06-22T19:32:02Z

<p>Signe: </p> <hr /> <div></div>

Signe https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&diff=131 2022-06-22T19:25:07Z

<p>Signe: </p> <hr /> <div>The Verification of Autonomous Systems Body of Knowledge ([[VAS-BoK]]) is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]&#039;s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] (TC-VAS) Education Working Group.<br /> <br /> It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems. <br /> <br /> {| id=&quot;searchtable&quot; class=&quot;wikitable&quot; style=&quot;margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;&quot;<br /> &lt;!--|+&#039;&#039;VASBoK&#039;s {{NUMBEROFARTICLES}} articles have been viewed &lt;span class = &quot;totalnumberofviews&quot;&gt;&lt;/span&gt; times.&#039;&#039;--&gt;<br /> &lt;!-- !&lt;inputbox&gt;<br /> type=fulltext<br /> break=no<br /> searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}}<br /> &lt;/inputbox&gt; --&gt;<br /> |-<br /> !<br /> &lt;big&gt;[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]&lt;/big&gt;<br /> |}<br /> <br /> &lt;gallery&gt;<br /> File:Question.png|[[Portal:Verification|What is Verification?]]<br /> File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]]<br /> File:Books2.png|[[Portal:Sources|Sources]]<br /> File:Example.png|[[Portal:People|People]]<br /> File:Hammer2.png|[[Portal:Tools|Tools and Processes]]<br /> File:Glossary.png|[[Portal:Glossary|Glossary]]<br /> File:Events.png|[[Portal:Events|Events]]<br /> &lt;/gallery&gt;<br /> <br /> == Learn the basics ==<br /> * [[Definitions]]<br /> * [[Primer for researchers]]<br /> * [[Primer for certification and licensing agencies]]<br /> * [[Primer for robot developers]]<br /> * [[Primer for autonomous behavior designers]]<br /> * [[Primer for artificial intelligence specialists]]<br /> <br /> == Verification in practice ==<br /> * [[Best practices for xxx]]<br /> * [[Guide for yyy]]<br /> <br /> == Learn More ==<br /> * [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group)<br /> * [[History]] of Verification of Autonomous Systems<br /> <br /> [[Category:VASBoK navigation]]</div>

Signe https://robotistry.org/vasbok/index.php?title=File:Question.png&diff=130 2022-06-22T19:24:53Z

<p>Signe: </p> <hr /> <div></div>

Signe https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&diff=129 2022-06-22T19:22:08Z

<p>Signe: </p> <hr /> <div>The Verification of Autonomous Systems Body of Knowledge ([[VAS-BoK]]) is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]&#039;s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] (TC-VAS) Education Working Group.<br /> <br /> It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems. <br /> <br /> {| id=&quot;searchtable&quot; class=&quot;wikitable&quot; style=&quot;margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;&quot;<br /> &lt;!--|+&#039;&#039;VASBoK&#039;s {{NUMBEROFARTICLES}} articles have been viewed &lt;span class = &quot;totalnumberofviews&quot;&gt;&lt;/span&gt; times.&#039;&#039;--&gt;<br /> &lt;!-- !&lt;inputbox&gt;<br /> type=fulltext<br /> break=no<br /> searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}}<br /> &lt;/inputbox&gt; --&gt;<br /> |-<br /> !<br /> &lt;big&gt;[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]&lt;/big&gt;<br /> |}<br /> <br /> &lt;gallery&gt;<br /> File:Example.png|[[Portal:Verification|What is Verification?]]<br /> File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]]<br /> File:Books2.png|[[Portal:Sources|Sources]]<br /> File:Example.png|[[Portal:People|People]]<br /> File:Hammer2.png|[[Portal:Tools|Tools and Processes]]<br /> File:Glossary.png|[[Portal:Glossary|Glossary]]<br /> File:Events.png|[[Portal:Events|Events]]<br /> &lt;/gallery&gt;<br /> <br /> == Learn the basics ==<br /> * [[Definitions]]<br /> * [[Primer for researchers]]<br /> * [[Primer for certification and licensing agencies]]<br /> * [[Primer for robot developers]]<br /> * [[Primer for autonomous behavior designers]]<br /> * [[Primer for artificial intelligence specialists]]<br /> <br /> == Verification in practice ==<br /> * [[Best practices for xxx]]<br /> * [[Guide for yyy]]<br /> <br /> == Learn More ==<br /> * [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group)<br /> * [[History]] of Verification of Autonomous Systems<br /> <br /> [[Category:VASBoK navigation]]</div>

Signe https://robotistry.org/vasbok/index.php?title=File:Books2.png&diff=128 2022-06-22T19:21:53Z

<p>Signe: </p> <hr /> <div></div>

Signe https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&diff=127 2022-06-22T19:04:47Z

<p>Signe: </p> <hr /> <div>The Verification of Autonomous Systems Body of Knowledge ([[VAS-BoK]]) is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]&#039;s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] (TC-VAS) Education Working Group.<br /> <br /> It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems. <br /> <br /> {| id=&quot;searchtable&quot; class=&quot;wikitable&quot; style=&quot;margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;&quot;<br /> &lt;!--|+&#039;&#039;VASBoK&#039;s {{NUMBEROFARTICLES}} articles have been viewed &lt;span class = &quot;totalnumberofviews&quot;&gt;&lt;/span&gt; times.&#039;&#039;--&gt;<br /> &lt;!-- !&lt;inputbox&gt;<br /> type=fulltext<br /> break=no<br /> searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}}<br /> &lt;/inputbox&gt; --&gt;<br /> |-<br /> !<br /> &lt;big&gt;[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]&lt;/big&gt;<br /> |}<br /> <br /> &lt;gallery&gt;<br /> File:Example.png|[[Portal:Verification|What is Verification?]]<br /> File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]]<br /> File:Books.png|[[Portal:Sources|Sources]]<br /> File:Example.png|[[Portal:People|People]]<br /> File:Hammer2.png|[[Portal:Tools|Tools and Processes]]<br /> File:Glossary.png|[[Portal:Glossary|Glossary]]<br /> File:Events.png|[[Portal:Events|Events]]<br /> &lt;/gallery&gt;<br /> <br /> == Learn the basics ==<br /> * [[Definitions]]<br /> * [[Primer for researchers]]<br /> * [[Primer for certification and licensing agencies]]<br /> * [[Primer for robot developers]]<br /> * [[Primer for autonomous behavior designers]]<br /> * [[Primer for artificial intelligence specialists]]<br /> <br /> == Verification in practice ==<br /> * [[Best practices for xxx]]<br /> * [[Guide for yyy]]<br /> <br /> == Learn More ==<br /> * [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group)<br /> * [[History]] of Verification of Autonomous Systems<br /> <br /> [[Category:VASBoK navigation]]</div>

Signe https://robotistry.org/vasbok/index.php?title=File:Glossary.png&diff=126 2022-06-22T19:04:30Z

<p>Signe: </p> <hr /> <div></div>

Signe https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&diff=125 2022-06-22T18:48:30Z

<p>Signe: </p> <hr /> <div>The Verification of Autonomous Systems Body of Knowledge ([[VAS-BoK]]) is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]&#039;s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] (TC-VAS) Education Working Group.<br /> <br /> It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems. <br /> <br /> {| id=&quot;searchtable&quot; class=&quot;wikitable&quot; style=&quot;margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;&quot;<br /> &lt;!--|+&#039;&#039;VASBoK&#039;s {{NUMBEROFARTICLES}} articles have been viewed &lt;span class = &quot;totalnumberofviews&quot;&gt;&lt;/span&gt; times.&#039;&#039;--&gt;<br /> &lt;!-- !&lt;inputbox&gt;<br /> type=fulltext<br /> break=no<br /> searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}}<br /> &lt;/inputbox&gt; --&gt;<br /> |-<br /> !<br /> &lt;big&gt;[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]&lt;/big&gt;<br /> |}<br /> <br /> &lt;gallery&gt;<br /> File:Example.png|[[Portal:Verification|What is Verification?]]<br /> File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]]<br /> File:Books.png|[[Portal:Sources|Sources]]<br /> File:Example.png|[[Portal:People|People]]<br /> File:Hammer2.png|[[Portal:Tools|Tools and Processes]]<br /> File:Example.png|[[Portal:Glossary|Glossary]]<br /> File:Events.png|[[Portal:Events|Events]]<br /> &lt;/gallery&gt;<br /> <br /> == Learn the basics ==<br /> * [[Definitions]]<br /> * [[Primer for researchers]]<br /> * [[Primer for certification and licensing agencies]]<br /> * [[Primer for robot developers]]<br /> * [[Primer for autonomous behavior designers]]<br /> * [[Primer for artificial intelligence specialists]]<br /> <br /> == Verification in practice ==<br /> * [[Best practices for xxx]]<br /> * [[Guide for yyy]]<br /> <br /> == Learn More ==<br /> * [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group)<br /> * [[History]] of Verification of Autonomous Systems<br /> <br /> [[Category:VASBoK navigation]]</div>

Signe https://robotistry.org/vasbok/index.php?title=File:Hammer2.png&diff=124 2022-06-22T18:48:16Z

<p>Signe: </p> <hr /> <div></div>

Signe https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&diff=123 2022-06-22T18:40:06Z

<p>Signe: </p> <hr /> <div>The Verification of Autonomous Systems Body of Knowledge ([[VAS-BoK]]) is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]&#039;s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] (TC-VAS) Education Working Group.<br /> <br /> It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems. <br /> <br /> {| id=&quot;searchtable&quot; class=&quot;wikitable&quot; style=&quot;margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;&quot;<br /> &lt;!--|+&#039;&#039;VASBoK&#039;s {{NUMBEROFARTICLES}} articles have been viewed &lt;span class = &quot;totalnumberofviews&quot;&gt;&lt;/span&gt; times.&#039;&#039;--&gt;<br /> &lt;!-- !&lt;inputbox&gt;<br /> type=fulltext<br /> break=no<br /> searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}}<br /> &lt;/inputbox&gt; --&gt;<br /> |-<br /> !<br /> &lt;big&gt;[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]&lt;/big&gt;<br /> |}<br /> <br /> &lt;gallery&gt;<br /> File:Example.png|[[Portal:Verification|What is Verification?]]<br /> File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]]<br /> File:Books.png|[[Portal:Sources|Sources]]<br /> File:Example.png|[[Portal:People|People]]<br /> File:Hammer.png|[[Portal:Tools|Tools and Processes]]<br /> File:Example.png|[[Portal:Glossary|Glossary]]<br /> File:Events.png|[[Portal:Events|Events]]<br /> &lt;/gallery&gt;<br /> <br /> == Learn the basics ==<br /> * [[Definitions]]<br /> * [[Primer for researchers]]<br /> * [[Primer for certification and licensing agencies]]<br /> * [[Primer for robot developers]]<br /> * [[Primer for autonomous behavior designers]]<br /> * [[Primer for artificial intelligence specialists]]<br /> <br /> == Verification in practice ==<br /> * [[Best practices for xxx]]<br /> * [[Guide for yyy]]<br /> <br /> == Learn More ==<br /> * [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group)<br /> * [[History]] of Verification of Autonomous Systems<br /> <br /> [[Category:VASBoK navigation]]</div>

Signe https://robotistry.org/vasbok/index.php?title=File:GraduationCap2.png&diff=122 2022-06-22T18:39:50Z

<p>Signe: </p> <hr /> <div></div>

Signe https://robotistry.org/vasbok/index.php?title=File:GraduationCap.png&diff=121 2022-06-22T18:36:27Z

<p>Signe: Signe uploaded a new version of File:GraduationCap.png</p> <hr /> <div></div>

Signe https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&diff=120 2022-06-22T18:28:27Z

<p>Signe: </p> <hr /> <div>The Verification of Autonomous Systems Body of Knowledge ([[VAS-BoK]]) is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]&#039;s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] (TC-VAS) Education Working Group.<br /> <br /> It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems. <br /> <br /> {| id=&quot;searchtable&quot; class=&quot;wikitable&quot; style=&quot;margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;&quot;<br /> &lt;!--|+&#039;&#039;VASBoK&#039;s {{NUMBEROFARTICLES}} articles have been viewed &lt;span class = &quot;totalnumberofviews&quot;&gt;&lt;/span&gt; times.&#039;&#039;--&gt;<br /> &lt;!-- !&lt;inputbox&gt;<br /> type=fulltext<br /> break=no<br /> searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}}<br /> &lt;/inputbox&gt; --&gt;<br /> |-<br /> !<br /> &lt;big&gt;[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]&lt;/big&gt;<br /> |}<br /> <br /> &lt;gallery&gt;<br /> File:Example.png|[[Portal:Verification|What is Verification?]]<br /> File:GraduationCap.png|[[Portal:Tutorials|Tutorials]]<br /> File:Books.png|[[Portal:Sources|Sources]]<br /> File:Example.png|[[Portal:People|People]]<br /> File:Hammer.png|[[Portal:Tools|Tools and Processes]]<br /> File:Example.png|[[Portal:Glossary|Glossary]]<br /> File:Events.png|[[Portal:Events|Events]]<br /> &lt;/gallery&gt;<br /> <br /> == Learn the basics ==<br /> * [[Definitions]]<br /> * [[Primer for researchers]]<br /> * [[Primer for certification and licensing agencies]]<br /> * [[Primer for robot developers]]<br /> * [[Primer for autonomous behavior designers]]<br /> * [[Primer for artificial intelligence specialists]]<br /> <br /> == Verification in practice ==<br /> * [[Best practices for xxx]]<br /> * [[Guide for yyy]]<br /> <br /> == Learn More ==<br /> * [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group)<br /> * [[History]] of Verification of Autonomous Systems<br /> <br /> [[Category:VASBoK navigation]]</div>

Signe https://robotistry.org/vasbok/index.php?title=File:Events.png&diff=119 2022-06-22T18:28:11Z

<p>Signe: </p> <hr /> <div></div>

Signe https://robotistry.org/vasbok/index.php?title=File:Books.png&diff=118 2022-06-22T17:54:24Z

<p>Signe: Signe uploaded a new version of File:Books.png</p> <hr /> <div></div>

Signe https://robotistry.org/vasbok/index.php?title=File:Hammer.png&diff=117 2022-06-22T17:53:09Z

<p>Signe: Signe uploaded a new version of File:Hammer.png</p> <hr /> <div></div>

Signe https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&diff=116 2022-06-22T17:51:47Z

<p>Signe: </p> <hr /> <div>The Verification of Autonomous Systems Body of Knowledge ([[VAS-BoK]]) is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]&#039;s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] (TC-VAS) Education Working Group.<br /> <br /> It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems. <br /> <br /> {| id=&quot;searchtable&quot; class=&quot;wikitable&quot; style=&quot;margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;&quot;<br /> &lt;!--|+&#039;&#039;VASBoK&#039;s {{NUMBEROFARTICLES}} articles have been viewed &lt;span class = &quot;totalnumberofviews&quot;&gt;&lt;/span&gt; times.&#039;&#039;--&gt;<br /> &lt;!-- !&lt;inputbox&gt;<br /> type=fulltext<br /> break=no<br /> searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}}<br /> &lt;/inputbox&gt; --&gt;<br /> |-<br /> !<br /> &lt;big&gt;[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]&lt;/big&gt;<br /> |}<br /> <br /> &lt;gallery&gt;<br /> File:Example.png|[[Portal:Verification|What is Verification?]]<br /> File:GraduationCap.png|[[Portal:Tutorials|Tutorials]]<br /> File:Books.png|[[Portal:Sources|Sources]]<br /> File:Example.png|[[Portal:People|People]]<br /> File:Hammer.png|[[Portal:Tools|Tools and Processes]]<br /> File:Example.png|[[Portal:Glossary|Glossary]]<br /> File:Example.png|[[Portal:Events|Events]]<br /> &lt;/gallery&gt;<br /> <br /> == Learn the basics ==<br /> * [[Definitions]]<br /> * [[Primer for researchers]]<br /> * [[Primer for certification and licensing agencies]]<br /> * [[Primer for robot developers]]<br /> * [[Primer for autonomous behavior designers]]<br /> * [[Primer for artificial intelligence specialists]]<br /> <br /> == Verification in practice ==<br /> * [[Best practices for xxx]]<br /> * [[Guide for yyy]]<br /> <br /> == Learn More ==<br /> * [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group)<br /> * [[History]] of Verification of Autonomous Systems<br /> <br /> [[Category:VASBoK navigation]]</div>

Signe https://robotistry.org/vasbok/index.php?title=File:Hammer.png&diff=115 2022-06-22T17:51:30Z

<p>Signe: </p> <hr /> <div></div>

Signe https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&diff=114 2022-06-22T17:39:17Z

<p>Signe: </p> <hr /> <div>The Verification of Autonomous Systems Body of Knowledge ([[VAS-BoK]]) is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]&#039;s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] (TC-VAS) Education Working Group.<br /> <br /> It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems. <br /> <br /> {| id=&quot;searchtable&quot; class=&quot;wikitable&quot; style=&quot;margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;&quot;<br /> &lt;!--|+&#039;&#039;VASBoK&#039;s {{NUMBEROFARTICLES}} articles have been viewed &lt;span class = &quot;totalnumberofviews&quot;&gt;&lt;/span&gt; times.&#039;&#039;--&gt;<br /> &lt;!-- !&lt;inputbox&gt;<br /> type=fulltext<br /> break=no<br /> searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}}<br /> &lt;/inputbox&gt; --&gt;<br /> |-<br /> !<br /> &lt;big&gt;[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]&lt;/big&gt;<br /> |}<br /> <br /> &lt;gallery&gt;<br /> File:Example.png|[[Portal:Verification|What is Verification?]]<br /> File:GraduationCap.png|[[Portal:Tutorials|Tutorials]]<br /> File:Books.png|[[Portal:Sources|Sources]]<br /> File:Example.png|[[Portal:People|People]]<br /> File:Example.png|[[Portal:Tools|Tools and Processes]]<br /> File:Example.png|[[Portal:Glossary|Glossary]]<br /> File:Example.png|[[Portal:Events|Events]]<br /> &lt;/gallery&gt;<br /> <br /> == Learn the basics ==<br /> * [[Definitions]]<br /> * [[Primer for researchers]]<br /> * [[Primer for certification and licensing agencies]]<br /> * [[Primer for robot developers]]<br /> * [[Primer for autonomous behavior designers]]<br /> * [[Primer for artificial intelligence specialists]]<br /> <br /> == Verification in practice ==<br /> * [[Best practices for xxx]]<br /> * [[Guide for yyy]]<br /> <br /> == Learn More ==<br /> * [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group)<br /> * [[History]] of Verification of Autonomous Systems<br /> <br /> [[Category:VASBoK navigation]]</div>

Signe https://robotistry.org/vasbok/index.php?title=File:Books.png&diff=113 2022-06-22T17:38:54Z

<p>Signe: </p> <hr /> <div></div>

Signe