@inproceedings{janak_acc2019,
  title={Maximal Invariant Set Computation and Synthesis
for Markov Chains},
  author={Janak*, Dylan and  {\bf A{\c{c}}ikme{\c{s}}e, Beh{\c{c}}et}},
  booktitle={American Control Conference},
  year={2019},
}

{"_id":"69vi227DgzcNNmhNw","bibbaseid":"janak-bfaikmee-maximalinvariantsetcomputationandsynthesisformarkovchains-2019","author_short":["Janak*, D.","\\bf Açikmeşe, Behçet"],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Maximal Invariant Set Computation and Synthesis for Markov Chains","author":[{"propositions":[],"lastnames":["Janak*"],"firstnames":["Dylan"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["\\bf Açikmeşe, Behçet"],"suffixes":[]}],"booktitle":"American Control Conference","year":"2019","bibtex":"@inproceedings{janak_acc2019,\n title={Maximal Invariant Set Computation and Synthesis\nfor Markov Chains},\n author={Janak*, Dylan and {\\bf A{\\c{c}}ikme{\\c{s}}e, Beh{\\c{c}}et}},\n booktitle={American Control Conference},\n year={2019},\n}\n\n","author_short":["Janak*, D.","\\bf Açikmeşe, Behçet"],"key":"janak_acc2019","id":"janak_acc2019","bibbaseid":"janak-bfaikmee-maximalinvariantsetcomputationandsynthesisformarkovchains-2019","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/r4Kpw9XmHKrDuwTjt","dataSources":["hj7rPM3b5ptAN8y5R","v3s4CEhzHdLWdodB2"],"keywords":[],"search_terms":["maximal","invariant","set","computation","synthesis","markov","chains","janak*","\\bf açikmeşe"],"title":"Maximal Invariant Set Computation and Synthesis for Markov Chains","year":2019}