Welcome to the UPF Digital Repository

Computing infinite plans for LTL goals using a classical planner



Computing infinite plans for LTL goals using a classical planner

Thumbnail
Document Type: Speech/Conference communication
Version: Accepted version
Date: 2011

This item appears in the following Collection(s)

Search DSpace


Advanced Search

Browse

My Account

Statistics

Compliant to Partaking