Henry Hexmoor;Tim Heng
University of North Dakota, Grand Forks, North Dakota;University of North Dakota, Grand Forks, North Dakota
ForMAAD: A formal method for agent-based application design
Web Intelligence and Agent Systems
Intelligent control of air traffic landing sequences
International Journal of Modelling and Simulation