User contributions for AIDejanira
Jump to navigation
Jump to search
- 12:52, 5 April 2022 diff hist +56 Portal:Tools
- 12:51, 5 April 2022 diff hist +291 Portal:Sources
- 12:48, 5 April 2022 diff hist +91 Portal:Tools
- 12:47, 5 April 2022 diff hist +423 Portal:Tools
- 12:41, 5 April 2022 diff hist +91 N Portal:Tutorials Created page with "* Andre Platzer [https://keymaerax.org/Xtutorial.html Tutorial on how to use Keymaera-X] *"
- 12:38, 5 April 2022 diff hist +288 N Portal:People Created page with "* 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]"
- 12:33, 5 April 2022 diff hist +109 Portal:Sources
- 12:32, 5 April 2022 diff hist +808 Portal:Sources
- 12:21, 5 April 2022 diff hist +23 Portal:Sources
- 12:21, 5 April 2022 diff hist +8 Portal:Tools
- 12:20, 5 April 2022 diff hist +53 Portal:Sources
- 12:17, 5 April 2022 diff hist −9 Portal:Tools
- 12:16, 5 April 2022 diff hist +21 N Portal:Sources Created page with "Something to put here"
- 12:16, 5 April 2022 diff hist +30 Portal:Tools
- 11:50, 5 April 2022 diff hist +1 Portal:Glossary
- 11:50, 5 April 2022 diff hist +55 Portal:Glossary
- 11:48, 5 April 2022 diff hist +2,007 N Portal:Glossary Created page with ";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..."
- 11:33, 5 April 2022 diff hist −1 Welcome to VASBoK