Filter your results
- 3
- 3
- 3
- 5
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.43-64, ⟨10.1007/978-3-319-99740-7_4⟩
Conference papers
hal-02060059v1
|
||
|
|
Diagnosis of Complex Active Systems with Uncertain Temporal ObservationsInternational Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. pp.45-62, ⟨10.1007/978-3-319-45507-5_4⟩
Conference papers
hal-01635018v1
|
||
|
|
Metrics-Based Incremental Determinization of Finite AutomataInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.29-44, ⟨10.1007/978-3-319-10975-6_3⟩
Conference papers
hal-01403984v1
|