Formal verification and synthesis for discrete-time stochastic systems. Lahijanian, M., Andersson, S. B., & Belta, C. IEEE Transactions on Automatic Control, 60(8):2031–2045, 2015. tex.ids= lahijanianFormalVerificationSynthesis2015a, lahijanian_formal_2015 publisher: IEEE
doi  bibtex   
@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},
}

Downloads: 0