Colección SciELO Chile

Departamento Gestión de Conocimiento, Monitoreo y Prospección
Consultas o comentarios: productividad@anid.cl
Búsqueda Publicación
Búsqueda por Tema Título, Abstract y Keywords



Synthesizing controllers: On the correspondence between LTL synthesis and non-deterministic planning
Indexado
Scopus SCOPUS_ID:85046349452
DOI 10.1007/978-3-319-89656-4_4
Año 2018
Tipo

Citas Totales

Autores Afiliación Chile

Instituciones Chile

% Participación
Internacional

Autores
Afiliación Extranjera

Instituciones
Extranjeras


Abstract



Linear Temporal Logic (LTL) synthesis can be understood as the problem of building a controller that defines a winning strategy, for a two-player game against the environment, where the objective is to satisfy a given LTL formula. It is an important problem with applications in software synthesis, including controller synthesis. In this paper we establish the correspondence between LTL synthesis and fully observable non-deterministic (FOND) planning. We study LTL interpreted over both finite and infinite traces. We also provide the first explicit compilation that translates an LTL synthesis problem to a FOND problem. Experiments with state-of-the-art LTL FOND and synthesis solvers show automated planning to be a viable and effective tool for highly structured LTL synthesis problems.

Métricas Externas



PlumX Altmetric Dimensions

Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:

Disciplinas de Investigación



WOS
Sin Disciplinas
Scopus
Computer Science (All)
Theoretical Computer Science
SciELO
Sin Disciplinas

Muestra la distribución de disciplinas para esta publicación.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Colaboración Institucional



Muestra la distribución de colaboración, tanto nacional como extranjera, generada en esta publicación.


Autores - Afiliación



Ord. Autor Género Institución - País
1 Camacho, Alberto Hombre University of Toronto - Canadá
2 BAIER-ARANDA, JORGE ANDRES Hombre Pontificia Universidad Católica de Chile - Chile
3 Muise, Christian Hombre IBM Research - Estados Unidos
4 McIlraith, Sheila A. A. Mujer University of Toronto - Canadá

Muestra la afiliación y género (detectado) para los co-autores de la publicación.

Financiamiento



Fuente
Natural Sciences and Engineering Research Council of Canada
Fondo Nacional de Desarrollo Científico, Tecnológico y de Innovación Tecnológica
Natural

Muestra la fuente de financiamiento declarada en la publicación.

Agradecimientos



Agradecimiento
Acknowledgements. The authors gratefully acknowledge funding from the Natural
Sciences and Engineering Research Council of Canada (NSERC) and Fondecyt grant numbers 1150328 and 1161526.

Muestra la fuente de financiamiento declarada en la publicación.