Outline for 4/16

• Recap

  • Logistics
  • Search
  • Constraint Satisfaction
  • Knowledge Representation 1

• Model-Based Autonomous Systems

  • Motivation & Overview
  • Model-based configuration management
  • Viewed as Optimizing CSP Search
  • LTMS: Incremental Propositional Solver

Next slide

Back to first slide

View graphic version