Skip to content

Strategies

Jump to bottom
Cameron Finucane edited this page Jul 2, 2013 · 2 revisions
  • (Formerly known as FSA)
  • Store discrete strategy
  • Given a current discretized state and environment input, return one or more appropriate next moves (or indicate failure)
  • Transparently load from either .aut explicit-state strategy or .bdd BDD strategy.
Clone this wiki locally