Automatic Lighthouse Generation for Directed State Space Search

D
DATE
2000
Design, Automation and Test in Europe (DATE '00)
Abstract - Automatic Lighthouse Generation for Directed State Space Search

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Praveen Yalagandula Articles by Adnan Aziz Articles by Vigyan Singhal

Design, Automation and Test in Europe (DATE '00)

Paris, France

March 27-March 30

ISBN: 0-7695-0537-6

	ASCII Text	x
	Praveen Yalagandula, Adnan Aziz, Vigyan Singhal, "Automatic Lighthouse Generation for Directed State Space Search," Design, Automation and Test in Europe Conference and Exhibition, pp. 237, Design, Automation and Test in Europe (DATE '00), 2000.

	BibTex	x
	@article{ 10.1109/DATE.2000.840045, author = {Praveen Yalagandula and Adnan Aziz and Vigyan Singhal}, title = {Automatic Lighthouse Generation for Directed State Space Search}, journal ={Design, Automation and Test in Europe Conference and Exhibition}, volume = {0}, year = {2000}, issn = {1530-1591}, pages = {237}, doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.2000.840045}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Design, Automation and Test in Europe Conference and Exhibition TI - Automatic Lighthouse Generation for Directed State Space Search SN - 1530-1591 SP EP A1 - Praveen Yalagandula, A1 - Adnan Aziz, A1 - Vigyan Singhal, PY - 2000 VL - 0 JA - Design, Automation and Test in Europe Conference and Exhibition ER -

Praveen Yalagandula, University of Texas at Austin

Adnan Aziz, University of Texas at Austin

Vigyan Singhal, Tempus Fugit Incorporated

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.2000.840045

Previous researchers have suggested the use of "light-houses" 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.

Citation:

Praveen Yalagandula, Adnan Aziz, Vigyan Singhal, "Automatic Lighthouse Generation for Directed State Space Search," date, pp.237, Design, Automation and Test in Europe (DATE '00), 2000

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.