1. Alur, R., McDougall, M., Yang, Z. (2002). Exploiting behavioral hierarchy for efficient model checking. In E. Brinksma & K. G. Larsen (Eds.), Computer aided verification: 14th international conference, proceedings (Lecture notes in computer science) (pp. 338–342). Berlin: Springer.
2. Amarel, S. (1981). Problems of representation in heuristic problemsolving: related issues in the development ofexpert systems. Technical Report CBM-TR-118, Laboratory for Computer Science, Rutgers University, New Brunswick NJ.
3. Anderson, J. R. (2004). An integrated theory of mind. Psychological Review, 111, 1036–1060.
4. Antsaklis, P. J., & Passino, K. M. (Eds.), (1993). An introduction to intelligent and autonomous control. Norwell MA: Kluwer.
5. Bakker, B., & Schmidhuber, J. (2004). Hierarchical reinforcement learning based on subgoal discovery and subpolicy specialization. In F. Groen, N. Amato, A. Bonarini, E. Yoshida, B. Kröse (Eds.), Proceedings of the 8-th conference on intelligent autonomous systems, IAS-8 (pp. 438–445). Amsterdam, The Netherlands: IOS.