Login / Signup

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