@article{Majumdar_2024,
    title = {Necessary and Sufficient Certificates for Almost Sure Reachability},
    issn = {2475-1456},
    url = {http://dx.doi.org/10.1109/LCSYS.2024.3507279},
    doi = {10.1109/lcsys.2024.3507279},
    journal = {IEEE Control Systems Letters},
    publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
    author = {Majumdar, Rupak and Sathiyanarayana, V. R. and Soudjani, Sadegh},
    year = {2024},
    pages = {1–1},
    date-added = {2024-12-10 19:58:26 +0100}
}

@article{Majumdar_2024, title = {Necessary and Sufficient Certificates for Almost Sure Reachability}, issn = {2475-1456}, url = {http://dx.doi.org/10.1109/LCSYS.2024.3507279}, doi = {10.1109/lcsys.2024.3507279}, journal = {IEEE Control Systems Letters}, publisher = {Institute of Electrical and Electronics Engineers (IEEE)}, author = {Majumdar, Rupak and Sathiyanarayana, V. R. and Soudjani, Sadegh}, year = {2024}, pages = {1–1}, date-added = {2024-12-10 19:58:26 +0100} }