@article{janak_invset_tac21,
	Author = {Janak*, Dylan  and  Garoche$\dagger$, Pierre Lo\"{\i}c  and  {\bf A{\c{c}}{\i}kme{\c{s}}e, Beh{\c{c}}et} },
  journal={IEEE Transactions on Automatic Control}, 
  title={Exact Computation of Maximal Invariant Sets for Safe {M}arkov Chain--Lattice Theoretic Approach}, 
  year={2022},
  volume={67},
  number={12},
  pages={6980 -- 6986},
  note = {\newline{https://ieeexplore.ieee.org/document/9910414}},
  doi={10.1109/TAC.2022.3211959}}

{"_id":"FFzYJr7pkkqTkSJj7","bibbaseid":"janak-garocheger-bfakmee-exactcomputationofmaximalinvariantsetsforsafemarkovchainlatticetheoreticapproach-2022","author_short":["Janak*, D.","Garoche$†ger$, P. L.","\\bf Açıkmeşe, Behçet"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Janak*"],"firstnames":["Dylan"],"suffixes":[]},{"propositions":[],"lastnames":["Garoche$†ger$"],"firstnames":["Pierre","Loïc"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["\\bf Açıkmeşe, Behçet"],"suffixes":[]}],"journal":"IEEE Transactions on Automatic Control","title":"Exact Computation of Maximal Invariant Sets for Safe Markov Chain–Lattice Theoretic Approach","year":"2022","volume":"67","number":"12","pages":"6980 – 6986","note":"\\newlinehttps://ieeexplore.ieee.org/document/9910414","doi":"10.1109/TAC.2022.3211959","bibtex":"@article{janak_invset_tac21,\n\tAuthor = {Janak*, Dylan and Garoche$\\dagger$, Pierre Lo\\\"{\\i}c and {\\bf A{\\c{c}}{\\i}kme{\\c{s}}e, Beh{\\c{c}}et} },\n journal={IEEE Transactions on Automatic Control}, \n title={Exact Computation of Maximal Invariant Sets for Safe {M}arkov Chain--Lattice Theoretic Approach}, \n year={2022},\n volume={67},\n number={12},\n pages={6980 -- 6986},\n note = {\\newline{https://ieeexplore.ieee.org/document/9910414}},\n doi={10.1109/TAC.2022.3211959}}\n\t","author_short":["Janak*, D.","Garoche$†ger$, P. L.","\\bf Açıkmeşe, Behçet"],"key":"janak_invset_tac21","id":"janak_invset_tac21","bibbaseid":"janak-garocheger-bfakmee-exactcomputationofmaximalinvariantsetsforsafemarkovchainlatticetheoreticapproach-2022","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/k3CGiQiFTbkB6LRXc","dataSources":["LJGD3NfrSssWJor5J","BMaiGcWnSQnsf4cyu"],"keywords":[],"search_terms":["exact","computation","maximal","invariant","sets","safe","markov","chain","lattice","theoretic","approach","janak*","garoche$†ger$","\\bf açıkmeşe"],"title":"Exact Computation of Maximal Invariant Sets for Safe Markov Chain–Lattice Theoretic Approach","year":2022}