Environment-Friendly Safety.

Orna Kupferman Sigal Weiner

Published in: Haifa Verification Conference (2012)

Keyphrases

data sets
dynamic environments
database
real time
machine learning
decision making
database systems
multiscale
mobile robot
probabilistic model
virtual world
safety critical
friendly interface