Lulu He, Philippe Dague, Lina Ye. An approximation-based incremental SMT approach for diagnosability analysis of real-time systems. Discrete Event Dynamic Systems, 35(3):267-299, September 2025. [doi]
@article{HeDY25,
title = {An approximation-based incremental SMT approach for diagnosability analysis of real-time systems},
author = {Lulu He and Philippe Dague and Lina Ye},
year = {2025},
month = {September},
doi = {10.1007/s10626-025-00420-x},
url = {https://doi.org/10.1007/s10626-025-00420-x},
researchr = {https://researchr.org/publication/HeDY25},
cites = {0},
citedby = {0},
journal = {Discrete Event Dynamic Systems},
volume = {35},
number = {3},
pages = {267-299},
}