Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties.

Ulrich Ultes-Nitsche

Published in: SOFSEM (2002)

Keyphrases

desirable properties
databases
e learning
three dimensional
closed form
key properties
multiscale
objective function
multi agent
learning environment
support vector
information technology
structural properties