Heuristic Search for the Analysis of Graph Transition Systems

DOI10.1007/11841883_29zbMath1156.68576WikidataQ56501884 ScholiaQ56501884MaRDI QIDQ3541978

Stefan Edelkamp, Alberto Lluch Lafuente, Shahid Jabbar

Publication date: 27 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://eprints.imtlucca.it/157/1/edelkamp_jabbar_lluch-lafuente2006a.pdf

Mathematics Subject Classification ID

68R10: Graph theory (including graph drawing) in computer science

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68Q42: Grammars and rewriting systems

Related Items

Survey on Directed Model Checking

Uses Software

• BLAST
• GROOVE