Automatic Lighthouse Generation for Directed State Space Search

Previous researchers have suggested the use of “lighthouses” to act as guides in directed state space search. The drawback of using lighthouses is that the user has to manually derive them, through a potentially laborious examination of the design. Additionally, specifying a large number of lighthouses results in wasted effort during the search. We present approaches to automatically generate high-quality lighthouses for hard-to-cover targets.

• Type: Conference
• Year: 2000
• Where: DATE
• Authors: Praveen Yalagandula, Adnan Aziz, Vigyan Singhal
• Keywords: DATE 2000, Directed State Space, Hardware, Lighthouses, Wasted Effort