Communication dans un congrès, LaHDAK, Informatique, Intelligence artificielle

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois. Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. 28th International Workshop on Principles of Diagnosis DX’17, Sep 2017, Brescia, Italy. pp.124-143. ⟨hal-01676889⟩

Publié le