Synthesizing controllers: On the correspondence between LTL synthesis and non-deterministic planning

Camacho A.; Baier, J. A.; Muise C.; McIlraith S.A.

Más información

Título según SCOPUS: Synthesizing controllers: On the correspondence between LTL synthesis and non-deterministic planning
Título de la Revista: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen: 10832 LNAI
Editorial: Springer
Fecha de publicación: 2018
Página de inicio: 45
Página final: 59
Idioma: English
DOI:

10.1007/978-3-319-89656-4_4

Notas: SCOPUS