HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Hadi Zaatiti

Publications
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis
Hadi Zaatiti, Lina Ye, Philippe Dague and Jean-Pierre Gallois
In:28th International Workshop on Principles of Diagnosis (DX'17)

Keyphrases

abstraction, Counter-example guided abstraction refinement, Diagnosability, hybrid systems, timed automata.

Copyright © 2012-2025 easychair.org. All rights reserved.