@article{Lai_2021,
    doi = {10.1109/tac.2020.2995173},
    url = {https://doi.org/10.1109%2Ftac.2020.2995173},
    year = {2021},
    month = {mar},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    volume = {66},
    number = {3},
    pages = {1437--1444},
    author = {Aiwen Lai and Sebastien Lahaye and Alessandro Giua},
    title = {Verification of Detectability for Unambiguous Weighted Automata},
    journal = {{IEEE} Transactions on Automatic Control}
}

@article{Lai_2021, doi = {10.1109/tac.2020.2995173}, url = {https://doi.org/10.1109%2Ftac.2020.2995173}, year = {2021}, month = {mar}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, volume = {66}, number = {3}, pages = {1437--1444}, author = {Aiwen Lai and Sebastien Lahaye and Alessandro Giua}, title = {Verification of Detectability for Unambiguous Weighted Automata}, journal = {{IEEE} Transactions on Automatic Control} }