Modelling and Analysis of Markov Reward Automata. Guck, D., Timmer, M., Hatefi, H., Ruijters, E., & Stoelinga, M. In Cassez, F. & Raskin, J., editors, Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, volume 8837, of Lecture Notes in Computer Science, pages 168–184, 2014. Springer. doi bibtex @inproceedings{guck_modelling_2014,
series = {Lecture {Notes} in {Computer} {Science}},
title = {Modelling and {Analysis} of {Markov} {Reward} {Automata}},
volume = {8837},
isbn = {978-3-319-11935-9},
doi = {10.1007/978-3-319-11936-6_13},
booktitle = {Automated {Technology} for {Verification} and {Analysis} - 12th {International} {Symposium}, {ATVA} 2014, {Sydney}, {NSW}, {Australia}, {November} 3-7, 2014, {Proceedings}},
publisher = {Springer},
author = {Guck, Dennis and Timmer, Mark and Hatefi, Hassan and Ruijters, Enno and Stoelinga, Mariëlle},
editor = {Cassez, Franck and Raskin, Jean-François},
year = {2014},
pages = {168--184},
}
Downloads: 0
{"_id":{"_str":"53bbebe7823e1b37040003dc"},"__v":0,"authorIDs":["5457d87e2abc8e9f370007e5","54d6986996f9453b5f00073b"],"author_short":["Guck, D.","Timmer, M.","Hatefi, H.","Ruijters, E.","Stoelinga, M."],"bibbaseid":"guck-timmer-hatefi-ruijters-stoelinga-modellingandanalysisofmarkovrewardautomata-2014","bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"Lecture Notes in Computer Science","title":"Modelling and Analysis of Markov Reward Automata","volume":"8837","isbn":"978-3-319-11935-9","doi":"10.1007/978-3-319-11936-6_13","booktitle":"Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings","publisher":"Springer","author":[{"propositions":[],"lastnames":["Guck"],"firstnames":["Dennis"],"suffixes":[]},{"propositions":[],"lastnames":["Timmer"],"firstnames":["Mark"],"suffixes":[]},{"propositions":[],"lastnames":["Hatefi"],"firstnames":["Hassan"],"suffixes":[]},{"propositions":[],"lastnames":["Ruijters"],"firstnames":["Enno"],"suffixes":[]},{"propositions":[],"lastnames":["Stoelinga"],"firstnames":["Mariëlle"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Cassez"],"firstnames":["Franck"],"suffixes":[]},{"propositions":[],"lastnames":["Raskin"],"firstnames":["Jean-François"],"suffixes":[]}],"year":"2014","pages":"168–184","bibtex":"@inproceedings{guck_modelling_2014,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Modelling and {Analysis} of {Markov} {Reward} {Automata}},\n\tvolume = {8837},\n\tisbn = {978-3-319-11935-9},\n\tdoi = {10.1007/978-3-319-11936-6_13},\n\tbooktitle = {Automated {Technology} for {Verification} and {Analysis} - 12th {International} {Symposium}, {ATVA} 2014, {Sydney}, {NSW}, {Australia}, {November} 3-7, 2014, {Proceedings}},\n\tpublisher = {Springer},\n\tauthor = {Guck, Dennis and Timmer, Mark and Hatefi, Hassan and Ruijters, Enno and Stoelinga, Mariëlle},\n\teditor = {Cassez, Franck and Raskin, Jean-François},\n\tyear = {2014},\n\tpages = {168--184},\n}\n\n","author_short":["Guck, D.","Timmer, M.","Hatefi, H.","Ruijters, E.","Stoelinga, M."],"editor_short":["Cassez, F.","Raskin, J."],"key":"guck_modelling_2014","id":"guck_modelling_2014","bibbaseid":"guck-timmer-hatefi-ruijters-stoelinga-modellingandanalysisofmarkovrewardautomata-2014","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.zotero.org/users/2539494/collections/QPKDCWZ2/items?key=GQZ7eSblSbBg8hlOjp5OpOAp&format=bibtex&limit=100","creationDate":"2014-07-08T13:02:31.474Z","downloads":0,"keywords":[],"search_terms":["modelling","analysis","markov","reward","automata","guck","timmer","hatefi","ruijters","stoelinga"],"title":"Modelling and Analysis of Markov Reward Automata","year":2014,"dataSources":["ypi2bjGvbv5c7j2pz"]}