Planning as Model CheckingOpen Website

Fausto Giunchiglia, Paolo Traverso

1999 (modified: 15 May 2025)ECP 1999Readers: Everyone
Abstract: The goal of this paper is to provide an introduction, with various elements of novelty, to the Planning as Model Checking paradigm.
0 Replies