Login / Signup

Bounded Model Search in Linear Temporal Logic and Its Application to Planning.

Serenella CerritoMarta Cialdea Mayer
Published in: TABLEAUX (1998)
Keyphrases
  • search algorithm
  • high level
  • objective function
  • search space
  • probability distribution