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:
| Autores principales: | , , |
|---|---|
| Formato: | Objeto de conferencia Resumen |
| Lenguaje: | Inglés |
| Publicado: |
2017
|
| Materias: | |
| 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: |
| Sumario: | 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. |
|---|