ConferencePaper SCOPUS
IJCAI International Joint Conference on Artificial Intelligence  (2015)

Polynomial-time reformulations of LTL temporally extended goals into final-state goals

Torres, J; Baier, J. A.

Más información

Título según SCOPUS: Polynomial-time reformulations of LTL temporally extended goals into final-state goals
Título de la Revista: IJCAI International Joint Conference on Artificial Intelligence
Volumen: 2015-January
Editorial: International Joint Conferences on Artificial Intelligence
Fecha de publicación: 2015
Página de inicio: 1696
Página final: 1703
Idioma: English
Notas: SCOPUS