Leveraging Semantic Embeddings for Safety-Critical Applications.

Thomas Brunner Frederik Diehl Michael Truong-Le Alois C. Knoll

Published in: CVPR Workshops (2019)

Keyphrases

safety critical
safety analysis
agent architecture
formal methods
fault tolerant
nuclear power plant
embedded systems
support systems
natural language
real time
adaptive systems
regulatory requirements
control system
domain specific
ubiquitous computing