Planning via model checking in determistic domains: Preliminary report

Autor:	Enrico Giunchiglia, Simone Ruffino, Mauro Di Manzo
Rok vydání:	1998
Předmět:	Model checking Set (abstract data type) Knowledge representation and reasoning Computer science Preliminary report Programming language Line (geometry) computer.software_genre computer Algorithm Domain (software engineering) Deterministic system
Zdroj:	Artificial Intelligence: Methodology, Systems, and Applications ISBN: 9783540649939 AIMSA
DOI:	10.1007/bfb0057447
Popis:	In this paper we report on SMV and NuSmv performances on a set of “model checking problems” variously generated starting from deterministic domain descriptions. The comparison with other state-of-the-art planning systems reveals that “planning via model checking” is a promising research line.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::18df0cfab720df8c0714db1770fd1d96 https://doi.org/10.1007/bfb0057447 Zobrazit plný text záznamu