Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:
| Indexado |
|
||
| 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
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.
| 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á
|
| Fuente |
|---|
| Natural Sciences and Engineering Research Council of Canada |
| Fondo Nacional de Desarrollo Científico, Tecnológico y de Innovación Tecnológica |
| Natural |