%0 Journal Article %1 journals/tase/ChenK15 %A Chen, Jun %A Kumar, Ratnesh %D 2015 %J IEEE Trans Autom. Sci. Eng. %K dblp %N 4 %P 1369-1379 %T Fault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic Correctness Requirements. %U http://dblp.uni-trier.de/db/journals/tase/tase12.html#ChenK15 %V 12

@article{journals/tase/ChenK15, added-at = {2020-04-02T00:00:00.000+0200}, author = {Chen, Jun and Kumar, Ratnesh}, biburl = {https://www.bibsonomy.org/bibtex/21dc580f78533798893a9b2302d17fe78/dblp}, ee = {https://doi.org/10.1109/TASE.2015.2453193}, interhash = {4f8f15a93e3adf9d9be1b73a1a7643e9}, intrahash = {1dc580f78533798893a9b2302d17fe78}, journal = {IEEE Trans Autom. Sci. Eng.}, keywords = {dblp}, number = 4, pages = {1369-1379}, timestamp = {2020-04-03T12:02:56.000+0200}, title = {Fault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic Correctness Requirements.}, url = {http://dblp.uni-trier.de/db/journals/tase/tase12.html#ChenK15}, volume = 12, year = 2015 }