Adapting an AI Planning Heuristic for Directed Model Checking

Kupferschmid, Sebastian and Hoffmann, Jörg and Dierks, Henning and Behrmann, Gerd
(2006) Adapting an AI Planning Heuristic for Directed Model Checking.
In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings.

Full text not available from this repository.
Official URL: https://doi.org/10.1007/11691617_3
Item Type: Conference or Workshop Item (A Paper) (UNSPECIFIED)
Depositing User: Sebastian Weisgerber
Date Deposited: 22 Feb 2018 11:11
Last Modified: 22 Feb 2018 11:11
URI: https://publications.cispa.saarland/id/eprint/2020

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.