Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová. Diagnosability of fair transition systems. Artificial Intelligence, 309:103725, 2022. [doi]
@article{BittnerBCGTV22,
title = {Diagnosability of fair transition systems},
author = {Benjamin Bittner and Marco Bozzano and Alessandro Cimatti and Marco Gario and Stefano Tonetta and Viktória Vozárová},
year = {2022},
doi = {10.1016/j.artint.2022.103725},
url = {https://doi.org/10.1016/j.artint.2022.103725},
researchr = {https://researchr.org/publication/BittnerBCGTV22},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {309},
pages = {103725},
}