Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals.

Jorge Torres, Jorge A. Baier

Browse the full IJCAI paper archive.