Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:
| Indexado |
|
||
| DOI | 10.24963/IJCAI.2018/651 | ||
| Año | 2018 | ||
| Tipo |
Citas Totales
Autores Afiliación Chile
Instituciones Chile
% Participación
Internacional
Autores
Afiliación Extranjera
Instituciones
Extranjeras
In this paper, we address the problem of LTL realizability and synthesis. State of the art techniques rely on so-called bounded synthesis methods, which reduce the problem to a safety game. Realizability is determined by solving synthesis in a dual game. We provide a unified view of duality, and introduce novel bounded realizability methods via reductions to reachability games. Further, we introduce algorithms, based on AI automated planning, to solve these safety and reachability games. This is the the first complete approach to LTL realizability and synthesis via automated planning. Experiments illustrate that reductions to reachability games are an alternative to reductions to safety games, and show that planning can be a competitive approach to LTL realizability and synthesis.
| Ord. | Autor | Género | Institución - País |
|---|---|---|---|
| 1 | Camacho, Alberto | Hombre |
University of Toronto - Canadá
|
| 2 | Muise, Christian | Hombre |
IBM Research - Estados Unidos
|
| 3 | Baier, Jorge A. | Hombre |
Pontificia Universidad Católica de Chile - Chile
Núcleo Milenio Centro de Investigación de la Web Semántica - Japón |
| 4 | McIlraith, Sheila 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 |
| Fondo Nacional de Desarrollo CientÃfico, Tecnológico y de Innovación Tecnológica |