@article{lahijanian_formal_2015,
	title = {Formal verification and synthesis for discrete-time stochastic systems},
	volume = {60},
	doi = {10/ghv4p7},
	number = {8},
	journal = {IEEE Transactions on Automatic Control},
	author = {Lahijanian, Morteza and Andersson, Sean B. and Belta, Calin},
	year = {2015},
	note = {tex.ids= lahijanianFormalVerificationSynthesis2015a, lahijanian\_formal\_2015
publisher: IEEE},
	pages = {2031--2045},
}

{"_id":"K4Q2aHshqMjcfQtLC","bibbaseid":"lahijanian-andersson-belta-formalverificationandsynthesisfordiscretetimestochasticsystems-2015","author_short":["Lahijanian, M.","Andersson, S. B.","Belta, C."],"bibdata":{"bibtype":"article","type":"article","title":"Formal verification and synthesis for discrete-time stochastic systems","volume":"60","doi":"10/ghv4p7","number":"8","journal":"IEEE Transactions on Automatic Control","author":[{"propositions":[],"lastnames":["Lahijanian"],"firstnames":["Morteza"],"suffixes":[]},{"propositions":[],"lastnames":["Andersson"],"firstnames":["Sean","B."],"suffixes":[]},{"propositions":[],"lastnames":["Belta"],"firstnames":["Calin"],"suffixes":[]}],"year":"2015","note":"tex.ids= lahijanianFormalVerificationSynthesis2015a, lahijanian_formal_2015 publisher: IEEE","pages":"2031–2045","bibtex":"@article{lahijanian_formal_2015,\n\ttitle = {Formal verification and synthesis for discrete-time stochastic systems},\n\tvolume = {60},\n\tdoi = {10/ghv4p7},\n\tnumber = {8},\n\tjournal = {IEEE Transactions on Automatic Control},\n\tauthor = {Lahijanian, Morteza and Andersson, Sean B. and Belta, Calin},\n\tyear = {2015},\n\tnote = {tex.ids= lahijanianFormalVerificationSynthesis2015a, lahijanian\\_formal\\_2015\npublisher: IEEE},\n\tpages = {2031--2045},\n}\n\n","author_short":["Lahijanian, M.","Andersson, S. B.","Belta, C."],"key":"lahijanian_formal_2015","id":"lahijanian_formal_2015","bibbaseid":"lahijanian-andersson-belta-formalverificationandsynthesisfordiscretetimestochasticsystems-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","verification","synthesis","discrete","time","stochastic","systems","lahijanian","andersson","belta"],"title":"Formal verification and synthesis for discrete-time stochastic systems","year":2015}