Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2018-04-10T16:58:43Z
dc.date.available 2018-04-10T16:58:43Z
dc.date.issued 2017
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/66098
dc.description.abstract 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. en
dc.language en es
dc.subject Linear Temporal Logic en
dc.title Goal-Conflict Detection Based on Temporal Satisfiability Checking en
dc.type Objeto de conferencia es
sedici.identifier.uri http://www.clei2017-46jaiio.sadio.org.ar/sites/default/files/Mem/ASSE/asse-06.pdf es
sedici.identifier.issn 2451-7593 es
sedici.creator.person Degiovanni, Renzo es
sedici.creator.person Ricci, Nicolás es
sedici.creator.person Castro, Pablo Francisco es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Sociedad Argentina de Informática e Investigación Operativa es
sedici.subtype Resumen es
sedici.rights.license Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by-sa/4.0/
sedici.date.exposure 2017-09
sedici.relation.event Simposio Argentino de Ingeniería de Software (ASSE) - JAIIO 46 (Córdoba, 2017). es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Resumen
Descargar archivo (79.09Kb) - PDF
Icon
Enlace externo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) 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)