Towards Causal Explanations of Property Violations in Discrete Event Systems - Archive ouverte HAL Access content directly
Conference Papers Year :

Towards Causal Explanations of Property Violations in Discrete Event Systems

(1) , (1) , (2) , (2)
1
2

Domains

Computer Science [cs] Embedded Systems Computer Science [cs] Artificial Intelligence [cs.AI]
Fichier principal
Vignette du fichier
dx.pdf (258.12 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Gregor Gössler  : Connect in order to contact the contributor

https://hal.inria.fr/hal-02369014

Submitted on : Monday, November 18, 2019-5:17:00 PM

Last modification on : Tuesday, January 17, 2023-4:16:12 PM

Download

Dates and versions

hal-02369014 , version 1 (18-11-2019)

Identifiers

  • HAL Id : hal-02369014 , version 1

Cite

Gregor Gössler, Thomas Mari, Yannick Pencolé, Louise Travé-Massuyès. Towards Causal Explanations of Property Violations in Discrete Event Systems. DX'19 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-8. ⟨hal-02369014⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-TLSE2 UGA CNRS INRIA INSA-TOULOUSE LAAS LIG UT1-CAPITOLE LAAS-DISCO LAAS-DECISION-ET-OPTIMISATION INRIA2 LIG-MFML-SPADES INSA-GROUPE ANR LIG_SIDCH TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
93 View
141 Download

Share

Gmail Facebook Twitter LinkedIn More