C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Proving ATL* Properties of Infinite-State Systems.
Matteo Slanina
Henny B. Sipma
Zohar Manna
Published in:
ICTAC (2006)
Keyphrases
</>
building blocks
real time
machine learning
artificial intelligence
expert systems
management system
computer systems
metadata
case study
control system
peer to peer
intelligent systems
learning systems
structural properties
desirable properties