In this oral communication, we present a novel approach to automatically compute boundary conditions for conflicting goals expressed in LTL, using a satisfiability procedure based on tableaux.
Información general
Fecha de exposición:septiembre 2017
Fecha de publicación:2017
Idioma del documento:Inglés
Evento:Simposio Argentino de Ingeniería de Software (ASSE) - JAIIO 46 (Córdoba, 2017).
Institución de origen:Sociedad Argentina de Informática e Investigación Operativa
Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0)