Goal-Conflict Detection Based on Temporal Satisfiability Checking

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.

Guardado en:
Detalles Bibliográficos
Autores principales: Degiovanni, Renzo, Ricci, Nicolás, Castro, Pablo Francisco
Formato: Objeto de conferencia Resumen
Lenguaje:Inglés
Publicado: 2017
Materias:
Ciencias Informáticas
Linear Temporal Logic
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/66098
http://www.clei2017-46jaiio.sadio.org.ar/sites/default/files/Mem/ASSE/asse-06.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-66098
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Linear Temporal Logic
spellingShingle Ciencias Informáticas
Linear Temporal Logic
Degiovanni, Renzo
Ricci, Nicolás
Castro, Pablo Francisco
Goal-Conflict Detection Based on Temporal Satisfiability Checking
topic_facet Ciencias Informáticas
Linear Temporal Logic
description 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.
format Objeto de conferencia
Resumen
author Degiovanni, Renzo
Ricci, Nicolás
Castro, Pablo Francisco
author_facet Degiovanni, Renzo
Ricci, Nicolás
Castro, Pablo Francisco
author_sort Degiovanni, Renzo
title Goal-Conflict Detection Based on Temporal Satisfiability Checking
title_short Goal-Conflict Detection Based on Temporal Satisfiability Checking
title_full Goal-Conflict Detection Based on Temporal Satisfiability Checking
title_fullStr Goal-Conflict Detection Based on Temporal Satisfiability Checking
title_full_unstemmed Goal-Conflict Detection Based on Temporal Satisfiability Checking
title_sort goal-conflict detection based on temporal satisfiability checking
publishDate 2017
url http://sedici.unlp.edu.ar/handle/10915/66098
http://www.clei2017-46jaiio.sadio.org.ar/sites/default/files/Mem/ASSE/asse-06.pdf
work_keys_str_mv AT degiovannirenzo goalconflictdetectionbasedontemporalsatisfiabilitychecking
AT riccinicolas goalconflictdetectionbasedontemporalsatisfiabilitychecking
AT castropablofrancisco goalconflictdetectionbasedontemporalsatisfiabilitychecking
bdutipo_str Repositorios
_version_ 1764820480982777860

Ejemplares similares