Outline MERS Model-based Programming Autonomous Engineering Operations An example Model based execution Fast reasoning using conflicts Cooperating mobile vehicles Predictive Strategy Selection Planning out the strategyOutline • 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