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