Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Counter-example guided abstraction refinement
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)
Copyright © 2012-2024 easychair.org. All rights reserved.