%0 Journal Article %1 journals/tac/LahijanianAB15 %A Lahijanian, Morteza %A Andersson, Sean B. %A Belta, Calin %D 2015 %J IEEE Trans. Automat. Contr. %K dblp %N 8 %P 2031-2045 %T Formal Verification and Synthesis for Discrete-Time Stochastic Systems. %U http://dblp.uni-trier.de/db/journals/tac/tac60.html#LahijanianAB15 %V 60

@article{journals/tac/LahijanianAB15, added-at = {2015-07-29T00:00:00.000+0200}, author = {Lahijanian, Morteza and Andersson, Sean B. and Belta, Calin}, biburl = {https://www.bibsonomy.org/bibtex/2beeb429a9257ce6ac49836822907fe2b/dblp}, ee = {http://dx.doi.org/10.1109/TAC.2015.2398883}, interhash = {eb12e3a7abf8b4e5b2d912d43b225344}, intrahash = {beeb429a9257ce6ac49836822907fe2b}, journal = {IEEE Trans. Automat. Contr.}, keywords = {dblp}, number = 8, pages = {2031-2045}, timestamp = {2015-07-30T11:33:38.000+0200}, title = {Formal Verification and Synthesis for Discrete-Time Stochastic Systems.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac60.html#LahijanianAB15}, volume = 60, year = 2015 }