Plan Validation for Extended Goals under Partial Observability (2002)

Cached

Download Links

by Piergiorgio Bertoli , Alessandro Cimatti , Marco Pistore , Paolo Traverso
Venue:IN PROC. OF AIPS-02 WORKSHOP ON PLANNING VIA MODEL CHECKING
Citations:4 - 2 self