Bonet, Blai; Haslum, Patrik; Hickmott, Sarah; Thiebaux, Sylvie
The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding strategies typically equate to blind (breadth-first) search. They do not exploit the knowledge of the marking that is sought, merely entertaining the hope that the road to it will be short. This paper investigates directed unfolding, which exploits problem-specific information in the form of a heuristic function to guide...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.