Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jorge Torres, Jorge A. Baier. Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 1696-1703, AAAI Press, 2015. [doi]

This author has not been identified. Look up 'Jorge Torres' in GoogleThis author has not been identified. Look up 'Jorge A. Baier' in Google

runs on WebDSL