Login / Signup
Abstraction for Liveness.
Amir Pnueli
Published in:
VMCAI (2005)
Keyphrases
</>
high level
data sets
decision making
cooperative
object oriented
machine learning
artificial intelligence
web pages
objective function
multi agent
special case
data abstraction