@article{TripakisRudie:IEEECSL:2022,
    Author = {Tripakis, Stavros and Rudie, Karen},
    File = {Decentralized Observation of Discrete-Event Systems- At Least One Can Tell - Decentralized\_Observation\_of\_Discrete-Event\_Systems\_At\_Least\_One\_Can\_Tell.pdf},
    Journal = {IEEE Control Systems Letters},
    Pages = {1652--1657},
    Title = {Decentralized Observation of Discrete-Event Systems: At Least One Can Tell},
    Volume = {6},
    Year = {2022},
    bdsk-url-1 = {https://doi.org/10.1109/LCSYS.2021.3130887},
    date-added = {2023-05-26 11:34:46 +0200},
    date-modified = {2023-05-26 11:35:11 +0200},
    doi = {10.1109/LCSYS.2021.3130887}
}

@article{TripakisRudie:IEEECSL:2022, Author = {Tripakis, Stavros and Rudie, Karen}, File = {Decentralized Observation of Discrete-Event Systems- At Least One Can Tell - Decentralized_Observation_of_Discrete-Event_Systems_At_Least_One_Can_Tell.pdf}, Journal = {IEEE Control Systems Letters}, Pages = {1652--1657}, Title = {Decentralized Observation of Discrete-Event Systems: At Least One Can Tell}, Volume = {6}, Year = {2022}, bdsk-url-1 = {https://doi.org/10.1109/LCSYS.2021.3130887}, date-added = {2023-05-26 11:34:46 +0200}, date-modified = {2023-05-26 11:35:11 +0200}, doi = {10.1109/LCSYS.2021.3130887} }