Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.

Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois

Browse the full DX paper archive.