2015
IJCAI
IJCAI 2015
Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals
Abstract
No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built. Papers without an abstract are not sent to the classifier, which is why this one carries no topics.