%0 Journal Article %1 journals/rts/Norman0Z17 %A Norman, Gethin %A Parker, David %A Zou, Xueyi %D 2017 %J Real Time Syst. %K dblp %N 3 %P 354-402 %T Verification and control of partially observable probabilistic systems. %U http://dblp.uni-trier.de/db/journals/rts/rts53.html#Norman0Z17 %V 53

@article{journals/rts/Norman0Z17, added-at = {2022-04-09T00:00:00.000+0200}, author = {Norman, Gethin and Parker, David and Zou, Xueyi}, biburl = {https://www.bibsonomy.org/bibtex/2daf7d56e0eb970e2141463fc734893dc/dblp}, ee = {https://www.wikidata.org/entity/Q59614665}, interhash = {36de9dea2cc5491822a1003bbdcbbc1f}, intrahash = {daf7d56e0eb970e2141463fc734893dc}, journal = {Real Time Syst.}, keywords = {dblp}, number = 3, pages = {354-402}, timestamp = {2024-04-08T15:00:44.000+0200}, title = {Verification and control of partially observable probabilistic systems.}, url = {http://dblp.uni-trier.de/db/journals/rts/rts53.html#Norman0Z17}, volume = 53, year = 2017 }