Strategies - VerifiableRobotics/LTLMoP GitHub Wiki

  • (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.