• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

SIVA: A System for Coverage-Directed State Space Search.

Malay K. GanaiPraveen YalagandulaAdnan AzizAndreas KuehlmannVigyan Singhal
Published in: J. Electron. Test. (2001)
Keyphrases
  • state space search
  • heuristic search
  • search algorithm
  • domain independent
  • search problems
  • iterative deepening
  • optimal planning
  • beam search
  • orders of magnitude
  • ai planning
  • domain specific
  • planning problems