Towards Verifying Safety Properties of Real-Time Probabilistic Systems.

Fenglin Han Jan Olaf Blech Peter Herrmann Heinz W. Schmidt

Published in: FESCA (2014)

Keyphrases

real time
safety critical
intelligent vehicles
computer systems
generative model
neural network
telecommunication systems
desirable characteristics
building blocks
distributed systems
learning systems
posterior probability
uncertain data
probabilistic logic
data driven
autonomous mobile
probabilistic model