Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa

First Page		Document Content
Date: 2016-09-15 09:37:52 Logic 120-cell Linear temporal logic Substitution Markov decision process Symbol Theoretical computer science Mathematical logic		Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 1,73 MB Share Document on Facebook