ML Anthology
Authors
Search
About
Torres, Jorge
1 publications
IJCAI
2015
Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals
Jorge Torres
,
Jorge A. Baier