Outline Model-based Programming Autonomous Engineering Operations –An Example –Model based Execution –Fast Reasoning using Conflicts Cooperating Mobile Vehicles –Predictive Strategy Selection –Planning Out The Strategy
{}