Leveraging Semantic Embeddings for Safety-Critical Applications.

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

Published in: CoRR (2019)

Keyphrases

safety critical
formal methods
embedded systems
safety analysis
fault tolerant
nuclear power plant
agent architecture
support systems
adaptive systems
real time
high level
low cost
distributed systems
ontology driven