https://robotistry.org/vasbok/api.php?action=feedcontributions&feedformat=atom&user=AIDejanira 2026-10-23T07:35:26Z User contributions MediaWiki 1.37.1 https://robotistry.org/vasbok/index.php?title=Portal:Tools&diff=39 2022-04-05T12:52:03Z

<p>AIDejanira: </p> <hr /> <div>&lt;big&gt;Verification of Autonomous Systems -- A Selection of Tools&lt;/big&gt;<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] <br /> <br /> [[Portal:Sources#Title 1]]<br /> <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 /> * 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]</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Sources&diff=38 2022-04-05T12:51:01Z

<p>AIDejanira: </p> <hr /> <div><br /> <br /> == Books on verification ==<br /> * Model checking book. E. Clarke<br /> * Other model checking book by Peter Katoen<br /> * Book on software testing/model-based testing<br /> * Artificial Intelligence and Software Testing - Building systems you can trust (2022). Rex Black, James Davenport, Joanna Olszewska, Jeremias Rößler, Adam Leon Smith, Jonathon Wright. Edited by Adam Leon Smith [https://shop.bcs.org/store/221/detail/workgroup?id=3-221-9781780175768 link]<br /> <br /> == Special issues on VAS ==<br /> * Journals<br /> <br /> == Case studies ==<br /> <br /> * Steps and method followed when verifying a system<br /> <br /> <br /> == Whitepapers on autonomous systems V&amp;V from regulators ==<br /> * How to apply V&amp;V to autonomous systems<br /> * How to interpret regulations for different countries<br /> * What remains to be done for regulations<br /> <br /> E.g. <br /> * Reviews on regulations for autonomous systems in Australia<br /> <br /> <br /> == Review or survey papers on V&amp;V ==<br /> <br /> <br /> == Existing projects ==<br /> <br /> <br /> <br /> <br /> == Benchmark models ==<br /> <br /> * Simulink model benchmark for falsification (3 models) <br /> <br /> <br /> == Testing fields &amp; sites/labs ==<br /> <br /> <br /> <br /> <br /> == Robotics &amp; autonomous systems competitions ==<br /> * DARPA<br /> * Autonomous vehicles<br /> * Robotics European League<br /> * ROBOCUP<br /> * AWS Deepracer (deep learning for training autonomous vehicles)<br /> * Australia &amp; New Zealand Search and Rescue [https://uavchallenge.org/search-and-rescue/]<br /> <br /> == Conferences ==</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Tools&diff=37 2022-04-05T12:48:58Z

<p>AIDejanira: </p> <hr /> <div>&lt;big&gt;Verification of Autonomous Systems -- A Selection of Tools&lt;/big&gt;<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] <br /> <br /> [[Portal:Sources#Title 1]]<br /> <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 /> * 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://link.springer.com/chapter/10.1007/978-3-030-85248-1_15 PSY-Taliro]<br /> ** Python toolbox for S-Taliro <br /> ** Available on Github</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Tools&diff=36 2022-04-05T12:47:20Z

<p>AIDejanira: </p> <hr /> <div>&lt;big&gt;Verification of Autonomous Systems -- A Selection of Tools&lt;/big&gt;<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] <br /> <br /> [[Portal:Sources#Title 1]]<br /> <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 /> * 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 /> * Python toolbox - Luke to write about it</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Tutorials&diff=35 2022-04-05T12:41:37Z

<p>AIDejanira: Created page with &quot;* Andre Platzer [https://keymaerax.org/Xtutorial.html Tutorial on how to use Keymaera-X] *&quot;</p> <hr /> <div>* Andre Platzer [https://keymaerax.org/Xtutorial.html Tutorial on how to use Keymaera-X]<br /> <br /> *</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:People&diff=34 2022-04-05T12:38:33Z

<p>AIDejanira: Created page with &quot;* Trustworthy Autonomous Systems Hub - York, Sheffield, Southampton, etc. UKRI (Research and Innovation) ** [https://www.tas.ac.uk/ Verifiability Hub] - Southampton, Nottingham, Kings College London * [https://www.york.ac.uk/assuring-autonomy/ Assuring Autonomy International Programme]&quot;</p> <hr /> <div>* Trustworthy Autonomous Systems Hub - York, Sheffield, Southampton, etc. UKRI (Research and Innovation)<br /> ** [https://www.tas.ac.uk/ Verifiability Hub] - Southampton, Nottingham, Kings College London<br /> <br /> <br /> * [https://www.york.ac.uk/assuring-autonomy/ Assuring Autonomy International Programme]</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Sources&diff=33 2022-04-05T12:33:52Z

<p>AIDejanira: </p> <hr /> <div><br /> <br /> == Books on verification ==<br /> * Model checking book. E. Clarke<br /> * Other model checking book by Peter Katoen<br /> * Book on software testing/model-based testing<br /> <br /> == Special issues on VAS ==<br /> * Journals<br /> <br /> == Case studies ==<br /> <br /> * Steps and method followed when verifying a system<br /> <br /> <br /> == Whitepapers on autonomous systems V&amp;V from regulators ==<br /> * How to apply V&amp;V to autonomous systems<br /> * How to interpret regulations for different countries<br /> * What remains to be done for regulations<br /> <br /> E.g. <br /> * Reviews on regulations for autonomous systems in Australia<br /> <br /> <br /> == Review or survey papers on V&amp;V ==<br /> <br /> <br /> == Existing projects ==<br /> <br /> <br /> <br /> <br /> == Benchmark models ==<br /> <br /> * Simulink model benchmark for falsification (3 models) <br /> <br /> <br /> == Testing fields &amp; sites/labs ==<br /> <br /> <br /> <br /> <br /> == Robotics &amp; autonomous systems competitions ==<br /> * DARPA<br /> * Autonomous vehicles<br /> * Robotics European League<br /> * ROBOCUP<br /> * AWS Deepracer (deep learning for training autonomous vehicles)<br /> * Australia &amp; New Zealand Search and Rescue [https://uavchallenge.org/search-and-rescue/]<br /> <br /> == Conferences ==</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Sources&diff=32 2022-04-05T12:32:16Z

<p>AIDejanira: </p> <hr /> <div><br /> <br /> == Books on verification ==<br /> * Model checking book. E. Clarke<br /> * Other model checking book by Peter Katoen<br /> * Book on software testing/model-based testing<br /> <br /> == Special issues on VAS ==<br /> * Journals<br /> <br /> == Case studies ==<br /> <br /> * Steps and method followed when verifying a system<br /> <br /> <br /> == Whitepapers on autonomous systems V&amp;V from regulators ==<br /> * How to apply V&amp;V to autonomous systems<br /> * How to interpret regulations for different countries<br /> * What remains to be done for regulations<br /> <br /> E.g. <br /> * Reviews on regulations for autonomous systems in Australia<br /> <br /> <br /> == Review or survey papers on V&amp;V ==<br /> <br /> <br /> == Existing projects ==<br /> <br /> <br /> <br /> <br /> == Benchmark models ==<br /> <br /> * Simulink model benchmark for falsification (3 models) <br /> <br /> <br /> == Testing fields &amp; sites/labs ==<br /> <br /> <br /> <br /> <br /> == Robotics &amp; autonomous systems competitions ==<br /> * DARPA<br /> * Autonomous vehicles<br /> * Robotics European League<br /> * ROBOCUP<br /> * AWS Deepracer (deep learning for training autonomous vehicles)</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Sources&diff=31 2022-04-05T12:21:40Z

<p>AIDejanira: </p> <hr /> <div>Something to put here<br /> <br /> <br /> <br /> ==Title 1==<br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> *<br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> *<br /> <br /> == Title 2 ==<br /> <br /> <br /> <br /> * item 2<br /> <br /> <br /> * item 3</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Tools&diff=30 2022-04-05T12:21:15Z

<p>AIDejanira: </p> <hr /> <div>&lt;big&gt;Verification of Autonomous Systems -- A Selection of Tools&lt;/big&gt;<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] <br /> <br /> [[Portal:Sources#Title 1]]<br /> <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 /> * 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 /> <br /> <br /> == ==</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Sources&diff=29 2022-04-05T12:20:48Z

<p>AIDejanira: </p> <hr /> <div>Something to put here<br /> <br /> <br /> <br /> ==Title 1==<br /> <br /> == Title 2 ==<br /> <br /> <br /> <br /> * item 2<br /> <br /> <br /> * item 3</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Tools&diff=28 2022-04-05T12:17:14Z

<p>AIDejanira: </p> <hr /> <div>&lt;big&gt;Verification of Autonomous Systems -- A Selection of Tools&lt;/big&gt;<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] <br /> <br /> [[Portal:Sources]]<br /> <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 /> * 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 /> <br /> <br /> == ==</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Sources&diff=27 2022-04-05T12:16:39Z

<p>AIDejanira: Created page with &quot;Something to put here&quot;</p> <hr /> <div>Something to put here</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Tools&diff=26 2022-04-05T12:16:12Z

<p>AIDejanira: </p> <hr /> <div>&lt;big&gt;Verification of Autonomous Systems -- A Selection of Tools&lt;/big&gt;<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] <br /> <br /> [[Creating Portal:Sources]]<br /> <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 /> * 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 /> <br /> <br /> == ==</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Glossary&diff=25 2022-04-05T11:50:49Z

<p>AIDejanira: </p> <hr /> <div>;Human-robot interactions<br /> ;Acceptability<br /> ;Trust<br /> ;Safety in HRI<br /> ;Failure detection and recovery <br /> ;Redundant robots <br /> ;Robot safety <br /> ;Robotic Systems <br /> ;Assurance <br /> ;Functional assurance<br /> ;Assurance cases <br /> ;Specifications<br /> ;Requirements <br /> :workspace and conditions/context of operations <br /> ;Functional requirements <br /> ;Safety requirements <br /> ;Security requirements<br /> ;Requirements development processes <br /> ;Qualitative assessment <br /> ;Quantitative assessment <br /> ;Dependability <br /> ;Reliability <br /> ;Security <br /> ;Cyber-security <br /> ;Robustness <br /> ;Safety <br /> ;Trustworthiness <br /> ;Formal methods for autonomous systems <br /> ;Resilience<br /> ;Behavior verification for autonomous systems and ML systems <br /> ;Correctness verification <br /> :software testing <br /> ;Functional verification <br /> :safety, system function<br /> ;Behavioral verification <br /> :verification of any function in the system including ML &amp; non-deterministic functions<br /> ;Cross-domain / multi-domain validation<br /> ;Safety and security interaction<br /> ;Social/legal/ethical requirements <br /> ;Privacy <br /> ;Responsibility <br /> ;HRI verification <br /> ;Safety-centric HRI protocols<br /> ;Accountability <br /> ;Liability <br /> ;Software tools for benchmarking and <br /> ;Software tools for testing <br /> ;Explainability <br /> ;Reproducibility <br /> ;Hybrid Logical/Dynamical Planning and Verification <br /> ;Performance evaluation and benchmarking <br /> ;Robot systems engineering <br /> ;Software testing and debugging <br /> ;Experiment design <br /> ;Acceptance testing <br /> ;Model-based evaluation <br /> ;Sim-based evaluation<br /> ;Performance evaluation <br /> ;Replicability <br /> ;Generalizability <br /> ;Assessment <br /> ;Transparency <br /> ;Formal software verification <br /> ;Licensing and certification <br /> ;Run-time verification and monitoring <br /> ;Validation <br /> ;Integrity of autonomous systems<br /> ;Verification <br /> ;Formal modelling <br /> ;Credibility <br /> ;Simulation-based testing <br /> ;Operational design domain<br /> ;Use Case testing <br /> ;Testing <br /> ;Use-case scenario generation <br /> ;Synthetic environment <br /> : to develop high level test scenarios, drive test case development <br /> ;Test cases for verification purposes <br /> ;Executable specifications <br /> ;Combining V&amp;V Techniques <br /> ;Contextual reasoning <br /> ;Autonomous systems design</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Glossary&diff=24 2022-04-05T11:50:15Z

<p>AIDejanira: </p> <hr /> <div>;Human-robot interactions<br /> ;Acceptability<br /> ;Trust<br /> ;Safety in HRI<br /> ;Failure detection and recovery <br /> ;Redundant robots <br /> ;Robot safety <br /> ;Robotic Systems <br /> ;Assurance <br /> ;Functional assurance<br /> ;Assurance cases <br /> ;Specifications<br /> ;Requirements -workspace and conditions/context of operations <br /> ;Functional requirements <br /> ;Safety requirements <br /> ;Security requirements<br /> ;Requirements development processes <br /> ;Qualitative assessment <br /> ;Quantitative assessment <br /> ;Dependability <br /> ;Reliability <br /> ;Security <br /> ;Cyber-security <br /> ;Robustness <br /> ;Safety <br /> ;Trustworthiness <br /> ;Formal methods for autonomous systems <br /> ;Resilience<br /> ;Behavior verification for autonomous systems and ML systems <br /> ;Correctness verification <br /> :software testing <br /> ;Functional verification <br /> :safety, system function<br /> ;Behavioral verification <br /> :verification of any function in the system including ML &amp; non-deterministic functions<br /> ;Cross-domain / multi-domain validation<br /> ;Safety and security interaction<br /> ;Social/legal/ethical requirements <br /> ;Privacy <br /> ;Responsibility <br /> ;HRI verification <br /> ;Safety-centric HRI protocols<br /> ;Accountability <br /> ;Liability <br /> ;Software tools for benchmarking and <br /> ;Software tools for testing <br /> ;Explainability <br /> ;Reproducibility <br /> ;Hybrid Logical/Dynamical Planning and Verification <br /> ;Performance evaluation and benchmarking <br /> ;Robot systems engineering <br /> ;Software testing and debugging <br /> ;Experiment design <br /> ;Acceptance testing <br /> ;Model-based evaluation <br /> ;Sim-based evaluation<br /> ;Performance evaluation <br /> ;Replicability <br /> ;Generalizability <br /> ;Assessment <br /> ;Transparency <br /> ;Formal software verification <br /> ;Licensing and certification <br /> ;Run-time verification and monitoring <br /> ;Validation <br /> ;Integrity of autonomous systems<br /> ;Verification <br /> ;Formal modelling <br /> ;Credibility <br /> ;Simulation-based testing <br /> ;Operational design domain<br /> ;Use Case testing <br /> ;Testing <br /> ;Use-case scenario generation <br /> ;Synthetic environment <br /> : to develop high level test scenarios, drive test case development <br /> ;Test cases for verification purposes <br /> ;Executable specifications <br /> ;Combining V&amp;V Techniques <br /> ;Contextual reasoning <br /> ;Autonomous systems design</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Portal:Glossary&diff=23 2022-04-05T11:48:30Z

<p>AIDejanira: Created page with &quot;;Human-robot interactions ;Acceptability ;Trust ;Safety in HRI ;Failure detection and recovery ;Redundant robots ;Robot safety ;Robotic Systems ;Assurance ;Functional assurance ;Assurance cases ;Specifications ;Requirements -workspace and conditions/context of operations ;Functional requirements ;Safety requirements ;Security requirements ;Requirements development processes Qualitative assessment Quantitative assessment Dependability Reliability Security...&quot;</p> <hr /> <div>;Human-robot interactions<br /> ;Acceptability<br /> ;Trust<br /> ;Safety in HRI<br /> ;Failure detection and recovery <br /> ;Redundant robots <br /> ;Robot safety <br /> ;Robotic Systems <br /> ;Assurance <br /> ;Functional assurance<br /> ;Assurance cases <br /> ;Specifications<br /> ;Requirements -workspace and conditions/context of operations <br /> ;Functional requirements <br /> ;Safety requirements <br /> ;Security requirements<br /> ;Requirements development processes <br /> Qualitative assessment <br /> Quantitative assessment <br /> Dependability <br /> Reliability <br /> Security <br /> Cyber-security <br /> Robustness <br /> Safety <br /> Trustworthiness <br /> Formal methods for autonomous systems <br /> Resilience<br /> Behavior verification for autonomous systems and ML systems <br /> Correctness verification - software testing <br /> Functional verification – safety, system function<br /> Behavioral verification – verification of any function in the system including ML &amp; non-deterministic functions<br /> Cross-domain / multi-domain validation<br /> Safety and security interaction<br /> Social/legal/ethical requirements <br /> Privacy <br /> Responsibility <br /> HRI verification <br /> Safety-centric HRI protocols<br /> Accountability <br /> Liability <br /> Software tools for benchmarking and <br /> Software tools for testing <br /> Explainability <br /> Reproducibility <br /> Hybrid Logical/Dynamical Planning and Verification <br /> Performance evaluation and benchmarking <br /> Robot systems engineering <br /> Software testing and debugging <br /> Experiment design <br /> Acceptance testing <br /> Model-based evaluation <br /> Sim-based evaluation<br /> Performance evaluation <br /> Replicability <br /> Generalizability <br /> Assessment <br /> Transparency <br /> Formal software verification <br /> Licensing and certification <br /> Run-time verification and monitoring <br /> Validation <br /> Integrity of autonomous systems<br /> Verification <br /> Formal modelling <br /> Credibility <br /> Simulation-based testing <br /> Operational design domain<br /> Use Case testing <br /> Testing <br /> Use-case scenario generation <br /> Synthetic environment - to develop high level test scenarios, drive test case <br /> development <br /> Test cases for verification purposes <br /> Executable specifications <br /> Combining V&amp;V Techniques <br /> Contextual reasoning <br /> Autonomous systems design</div>

AIDejanira https://robotistry.org/vasbok/index.php?title=Welcome_to_VASBoK&diff=22 2022-04-05T11:33:02Z

<p>AIDejanira: </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 /> |+&#039;&#039;VASBoK&#039;s {{NUMBEROFARTICLES}} articles have been viewed &lt;span class = &quot;totalnumberofviews&quot;&gt;&lt;/span&gt; times.&#039;&#039;<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:VASWGLogo.png|[[Portal:Verification|What is Verification?]]<br /> File:VASWGLogo.png|[[Portal:Tutorials|Tutorials]]<br /> File:VASWGLogo.png|[[Portal:Sources|Sources]]<br /> File:VASWGLogo.png|[[Portal:People|People]]<br /> File:VASWGLogo.png|[[Portal:Tools|Tools]]<br /> File:VASWGLogo.png|[[Portal:Glossary|Glossary]]<br /> File:VASWGLogo.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>

AIDejanira