id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
w9504x54r55	Bo Wu	Formal Methods for Control of Markov Decision Processes	1904		.txt	text/plain	339	14	33	Sequential decision making under uncertainties in a complex and changing environment is a crucial research area with many practical applications, such as autonomous driving, human-robot interaction, multi-robot tasking and so on. Then we go on to consider the privacy problem in MDP control, which first makes use of the existing notion of opacity and later we propose our own notion defined in the belief state.	cache/w9504x54r55.txt	txt/w9504x54r55.txt