Contributions to a Computer-Based Theory of Strategies

People use the word strategy in a variety of different contexts. Applications of the systems range over various aspects of air traffic control, automatic verification and validation of discrete-event simulation models, econometric model building, distributed planning systems for manufacturing, control of traffic lights, and others.