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



LTL realizability via safety and reachability games
Indexado
Scopus SCOPUS_ID:85055708525
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


Abstract



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.

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
Sin Disciplinas
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 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á

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
Fondo Nacional de Desarrollo Científico, Tecnológico y de Innovación Tecnológica

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

Agradecimientos



Agradecimiento
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.