MDPs with energy-parity objectives

Mayr, Richard, Schewe, Sven ORCID: 0000-0002-9093-9518, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2017) MDPs with energy-parity objectives In: LICS, 2018-6-20 - 2018-6-23, Reykjavik, Iceland.

Text main.pdf - Author Accepted Manuscript Download (342kB)

Abstract

Energy-parity objectives combine ω-regular with quantitative objectives of reward MDPs. The controller needs to avoid to run out of energy while satisfying a parity objective.

Item Type:	Conference Item (Other)
Additional Information:	timestamp: Fri, 02 Nov 2018 00:00:00 +0100 biburl: https://dblp.org/rec/bib/conf/lics/MayrSTW17 bibsource: dblp computer science bibliography, https://dblp.org
Uncontrolled Keywords:	Markov processes, Games, Memory management, Energy storage, Color, Probability distribution, Probabilistic logic
Depositing User:	Symplectic Admin
Date Deposited:	31 May 2017 09:25
Last Modified:	22 May 2026 21:00
DOI:	10.1109/LICS.2017.8005131
Related Websites:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3007712
Disclaimer:	The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.