Portal:Glossary

Acceptability

Acceptance testing

Accountability

Assessment

Assurance

Assurance cases

Autonomous systems design

Behavior verification for autonomous systems and ML systems

Behavioral verification

Combining V&V Techniques

Contextual reasoning

Correctness verification

Credibility

Cross-domain / multi-domain validation

Cyber-security

Dependability

Executable specifications

Experiment design

Explainability

Failure detection and recovery

Formal methods for autonomous systems

Formal modelling

Formal software verification

Functional assurance

Functional requirements

Functional verification

HRI (Human-robot interactions)

HRI verification

Hybrid Logical/Dynamical Planning and Verification

Generalizability

Integrity of autonomous systems

Liability

Licensing and certification

Model-based evaluation

Operational design domain

Qualitative assessment

Quantitative assessment

Performance evaluation and benchmarking

Privacy

Redundant robots

Reliability

Replicability

Reproducibility

Requirements

Requirements development processes

Resilience

Responsibility

Robot safety

Robotic Systems

Robot systems engineering

Robustness

Run-time verification and monitoring

Safety

Safety and security interaction

Safety in HRI

safety, system function

verification of any function in the system including ML & non-deterministic functions

Safety-centric HRI protocols

Safety requirements

Security

Security requirements

Simulation-based testing

Sim-based evaluation

Social/legal/ethical requirements

Software testing and debugging

Software tools for benchmarking and

Software tools for testing

software testing

Specifications

Synthetic environment

to develop high level test scenarios, drive test case development

Test cases for verification purposes

Testing

Transparency

Trust

Trustworthiness

Workspace and conditions/context of operations

Use-case scenario generation

Use Case testing

Validation

Verification