Termination and Correctness Analysis of Cyclic Control.

Siddharth Srivastava Neil Immerman Shlomo Zilberstein

Published in: AAAI (2011)

Keyphrases

neural network
web services
case study
three dimensional
multi agent
data analysis
statistical analysis