[{"department":[{"_id":"KrCh","tree":[{"_id":"ResearchGroups"},{"_id":"IST"}]}],"creator":{"login":"kschuh","id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87"},"date_updated":"2021-01-12T06:49:53Z","status":"public","conference":{"name":"ATVA: Automated Technology for Verification and Analysis","start_date":"2016-10-17","location":"Chiba, Japan","end_date":"2016-10-20"},"type":"conference","_id":"1326","ec_funded":1,"volume":9938,"language":[{}],"publication_status":"published","intvolume":" 9938","month":"09","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1607.00678"}],"scopus_import":1,"alternative_title":[],"oa_version":"Preprint","abstract":[{"lang":"eng"}],"publist_id":"5943","author":[{"first_name":"Tomáš","last_name":"Brázdil"},{"first_name":"Antonín","last_name":"Kučera"},{"last_name":"Novotny","first_name":"Petr","id":"3CC3B868-F248-11E8-B48F-1D18A9856A87"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Brázdil, Tomáš, et al. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. Vol. 9938, Springer, 2016, pp. 32–49, doi:10.1007/978-3-319-46520-3_3.","apa":"Brázdil, T., Kučera, A., & Novotný, P. (2016). Optimizing the expected mean payoff in Energy Markov Decision Processes (Vol. 9938, pp. 32–49). Presented at the ATVA: Automated Technology for Verification and Analysis, Chiba, Japan: Springer. https://doi.org/10.1007/978-3-319-46520-3_3","ieee":"T. Brázdil, A. Kučera, and P. Novotný, “Optimizing the expected mean payoff in Energy Markov Decision Processes,” presented at the ATVA: Automated Technology for Verification and Analysis, Chiba, Japan, 2016, vol. 9938, pp. 32–49.","short":"T. Brázdil, A. Kučera, P. Novotný, in:, Springer, 2016, pp. 32–49.","chicago":"Brázdil, Tomáš, Antonín Kučera, and Petr Novotný. “Optimizing the Expected Mean Payoff in Energy Markov Decision Processes,” 9938:32–49. Springer, 2016. https://doi.org/10.1007/978-3-319-46520-3_3.","ista":"Brázdil T, Kučera A, Novotný P. 2016. Optimizing the expected mean payoff in Energy Markov Decision Processes. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 9938, 32–49."},"dini_type":"doc-type:conferenceObject","project":[{"call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme"}],"date_created":"2018-12-11T11:51:23Z","date_published":"2016-09-22T00:00:00Z","page":"32 - 49","uri_base":"https://research-explorer.ista.ac.at","dc":{"rights":["info:eu-repo/semantics/openAccess"],"language":["eng"],"creator":["Brázdil, Tomáš","Kučera, Antonín","Novotny, Petr"],"title":["Optimizing the expected mean payoff in Energy Markov Decision Processes","LNCS"],"source":["Brázdil T, Kučera A, Novotný P. Optimizing the expected mean payoff in Energy Markov Decision Processes. In: Vol 9938. Springer; 2016:32-49. doi:10.1007/978-3-319-46520-3_3"],"relation":["info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-46520-3_3","info:eu-repo/grantAgreement/EC/FP7/291734"],"description":["Energy Markov Decision Processes (EMDPs) are finite-state Markov decision processes where each transition is assigned an integer counter update and a rational payoff. An EMDP configuration is a pair s(n), where s is a control state and n is the current counter value. The configurations are changed by performing transitions in the standard way. We consider the problem of computing a safe strategy (i.e., a strategy that keeps the counter non-negative) which maximizes the expected mean payoff. "],"identifier":["https://research-explorer.ista.ac.at/record/1326"],"date":["2016"],"publisher":["Springer"],"type":["info:eu-repo/semantics/conferenceObject","doc-type:conferenceObject","text","http://purl.org/coar/resource_type/c_5794"]},"day":"22","oa":1,"quality_controlled":"1","acknowledgement":"The research was funded by the Czech Science Foundation Grant No. P202/12/G061 and by the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement no [291734]."}]