OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Go to
ECP 1999
homepage
Planning as Model Checking
Fausto Giunchiglia
,
Paolo Traverso
1999 (modified: 15 May 2025)
ECP 1999
Readers:
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
Loading