A lattice-theoretic characterization of safety and liveness.

Panagiotis Manolios Richard J. Trefler

Published in: PODC (2003)

Keyphrases

database
high level
neural network
machine learning
three dimensional
cooperative
safety analysis