SafeAI 2020 Keyword Index
Keyword Index
Active Feature Acquisition 41
Adversarial Attack 1
Adversarial Examples 6
adversarial learning 105
AI alignment 128
AI Failures 31
AI Forensics 31
AI Safety 31
AI-enabled CPS 186
Algorithmic bias 105
Algorithmic discrimination 146
amplification 128
Artificial General Intelligence 36
Artificial Pancreas 186
Assurance 23
Assurance argument 23
Assurance Arguments 14
Automated Driving 91
Autonomous systems 83
autonomous vehicle 162
Avoiding negative side effects 117
Benchmark 83
Benchmark environments 117
bernstein 74
bias 146
Bio-Inspired 1
Budget-constrained decision making 41
Capability 36
catastrophic forgetting 96
Certification 186
certification 74
classifiers 96
Computer vision 83
continual learning 96
Continuous learning 170
Control 36
Data Augmentation 138
debate 128
deep generative models 113
Deep Neural Networks 1, 6
Deep neural networks 83
1
SafeAI 2020 Keyword Index
explainable AI 54
Explainable AI 31
explanation 63
Exploration Safety 36
face biometrics 146
Face Recognition 6
fair representation 105
Fairness 41
fairness 63
Fake News Detection 138
First principles 170
Formal Model Checking 178
Generality 36
Glow 113
Hybrid Automata Mining 186
information bottleneck 105
Intelligent exploitation 170
interpretability 63
ISO 26262 162
Knowledge base 170
language grounding 153
Learning-enabled Components 14
Machine Learning 23, 91
Machine learning 14, 162
Multimodal Data 138
neural network 74
novelty detection 113
Operational Safety Verification 186
out-of-distribution detection 113
outlier detection 113
Perceptual Uncertainty 91
Reachability Analysis 186
Recurrent Neural Network 178
reinforcement learning 153
Reinforcement learning 117, 170
Responsibility Sensitive Safety 91
2
SafeAI 2020 Keyword Index
safe artificial intelligence 105
safety 74, 162
Safety analysis 14
Safety envelope 83
safety in reinforcement learning 153
Safety-critical systems 83
Software engineering 23
SOTIF 162
Statistical Model Checking 178
surrogate 74
Systematic Processes 23
Temporal Safety Properties 178
Uncertainty quantification 83
Variational Autoencoders 113
Visual Question Answering 54
VQA 54
XAI 54
zero-sum game 128
3