{"_id":"YWEimrFrbRPisT2vT","bibbaseid":"braitling-fioriti-hatefi-wimmer-becker-hermanns-abstractionbasedcomputationofrewardmeasuresformarkovautomata-2015","downloads":0,"creationDate":"2015-12-06T11:27:16.683Z","title":"Abstraction-Based Computation of Reward Measures for Markov Automata","author_short":["Braitling, B.","Fioriti, L. M. F.","Hatefi, H.","Wimmer, R.","Becker, B.","Hermanns, H."],"year":2015,"bibtype":"inproceedings","biburl":"https://api.zotero.org/users/2539494/collections/QPKDCWZ2/items?key=GQZ7eSblSbBg8hlOjp5OpOAp&format=bibtex&limit=100","bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"Lecture Notes in Computer Science","title":"Abstraction-Based Computation of Reward Measures for Markov Automata","volume":"8931","isbn":"978-3-662-46080-1","doi":"10.1007/978-3-662-46081-8_10","booktitle":"Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings","publisher":"Springer","author":[{"propositions":[],"lastnames":["Braitling"],"firstnames":["Bettina"],"suffixes":[]},{"propositions":[],"lastnames":["Fioriti"],"firstnames":["Luis","María","Ferrer"],"suffixes":[]},{"propositions":[],"lastnames":["Hatefi"],"firstnames":["Hassan"],"suffixes":[]},{"propositions":[],"lastnames":["Wimmer"],"firstnames":["Ralf"],"suffixes":[]},{"propositions":[],"lastnames":["Becker"],"firstnames":["Bernd"],"suffixes":[]},{"propositions":[],"lastnames":["Hermanns"],"firstnames":["Holger"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["D'Souza"],"firstnames":["Deepak"],"suffixes":[]},{"propositions":[],"lastnames":["Lal"],"firstnames":["Akash"],"suffixes":[]},{"propositions":[],"lastnames":["Larsen"],"firstnames":["Kim","Guldstrand"],"suffixes":[]}],"year":"2015","pages":"172–189","bibtex":"@inproceedings{braitling_abstraction-based_2015,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Abstraction-{Based} {Computation} of {Reward} {Measures} for {Markov} {Automata}},\n\tvolume = {8931},\n\tisbn = {978-3-662-46080-1},\n\tdoi = {10.1007/978-3-662-46081-8_10},\n\tbooktitle = {Verification, {Model} {Checking}, and {Abstract} {Interpretation} - 16th {International} {Conference}, {VMCAI} 2015, {Mumbai}, {India}, {January} 12-14, 2015. {Proceedings}},\n\tpublisher = {Springer},\n\tauthor = {Braitling, Bettina and Fioriti, Luis María Ferrer and Hatefi, Hassan and Wimmer, Ralf and Becker, Bernd and Hermanns, Holger},\n\teditor = {D'Souza, Deepak and Lal, Akash and Larsen, Kim Guldstrand},\n\tyear = {2015},\n\tpages = {172--189},\n}\n\n","author_short":["Braitling, B.","Fioriti, L. M. F.","Hatefi, H.","Wimmer, R.","Becker, B.","Hermanns, H."],"editor_short":["D'Souza, D.","Lal, A.","Larsen, K. G."],"key":"braitling_abstraction-based_2015","id":"braitling_abstraction-based_2015","bibbaseid":"braitling-fioriti-hatefi-wimmer-becker-hermanns-abstractionbasedcomputationofrewardmeasuresformarkovautomata-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["abstraction","based","computation","reward","measures","markov","automata","braitling","fioriti","hatefi","wimmer","becker","hermanns"],"keywords":[],"authorIDs":["5457d87e2abc8e9f370007e5"],"dataSources":["ypi2bjGvbv5c7j2pz"]}