Article SCOPUS
Proceedings International Conference on Automated Planning and Scheduling, ICAPS  (2018)

Finite LTL synthesis as planning

Baier, J. A.

Más información

Título según SCOPUS: Finite LTL synthesis as planning
Título de la Revista: Proceedings International Conference on Automated Planning and Scheduling, ICAPS
Volumen: 2018-June
Editorial: AAAI press
Fecha de publicación: 2018
Página de inicio: 29
Página final: 38
Idioma: English
Notas: SCOPUS