@article{DBLP:journals/tac/JanakGA22,
  author       = {Dylan Janak and
                  Pierre{-}Lo{\"{\i}}c Garoche and
                  Beh{\c{c}}et A{\c{c}}ikmese},
  title        = {Exact Computation of Maximal Invariant Sets for Safe Markov Chains
                  - Lattice Theoretic Approach},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {67},
  number       = {12},
  pages        = {6980--6986},
  year         = {2022},
  url          = {https://doi.org/10.1109/TAC.2022.3211959},
  doi          = {10.1109/TAC.2022.3211959},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tac/JanakGA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"YvhaHW6Sb2etRJg5i","bibbaseid":"janak-garoche-aikmese-exactcomputationofmaximalinvariantsetsforsafemarkovchainslatticetheoreticapproach-2022","author_short":["Janak, D.","Garoche, P.","Açikmese, B."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Dylan"],"propositions":[],"lastnames":["Janak"],"suffixes":[]},{"firstnames":["Pierre-Loïc"],"propositions":[],"lastnames":["Garoche"],"suffixes":[]},{"firstnames":["Behçet"],"propositions":[],"lastnames":["Açikmese"],"suffixes":[]}],"title":"Exact Computation of Maximal Invariant Sets for Safe Markov Chains - Lattice Theoretic Approach","journal":"IEEE Trans. Autom. Control.","volume":"67","number":"12","pages":"6980–6986","year":"2022","url":"https://doi.org/10.1109/TAC.2022.3211959","doi":"10.1109/TAC.2022.3211959","timestamp":"Sun, 15 Jan 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/tac/JanakGA22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tac/JanakGA22,\n author = {Dylan Janak and\n Pierre{-}Lo{\\\"{\\i}}c Garoche and\n Beh{\\c{c}}et A{\\c{c}}ikmese},\n title = {Exact Computation of Maximal Invariant Sets for Safe Markov Chains\n - Lattice Theoretic Approach},\n journal = {{IEEE} Trans. Autom. Control.},\n volume = {67},\n number = {12},\n pages = {6980--6986},\n year = {2022},\n url = {https://doi.org/10.1109/TAC.2022.3211959},\n doi = {10.1109/TAC.2022.3211959},\n timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tac/JanakGA22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Janak, D.","Garoche, P.","Açikmese, B."],"key":"DBLP:journals/tac/JanakGA22","id":"DBLP:journals/tac/JanakGA22","bibbaseid":"janak-garoche-aikmese-exactcomputationofmaximalinvariantsetsforsafemarkovchainslatticetheoreticapproach-2022","role":"author","urls":{"Paper":"https://doi.org/10.1109/TAC.2022.3211959"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/151/7872.bib","dataSources":["KoSwBTjuLZzdvzhrs"],"keywords":[],"search_terms":["exact","computation","maximal","invariant","sets","safe","markov","chains","lattice","theoretic","approach","janak","garoche","açikmese"],"title":"Exact Computation of Maximal Invariant Sets for Safe Markov Chains - Lattice Theoretic Approach","year":2022}