Liveness vs Safety - A Practical Viewpoint.

B. A. Krishna Jonathan Michelson Vigyan Singhal Alok Jain

Published in: Haifa Verification Conference (2011)

Keyphrases

viewpoint
real world
practical application
neural network
information systems
decision trees
reinforcement learning
wide range
multiresolution
d objects
practical problems
polyhedral objects
multiple viewpoints