Back to Results
First PageMeta Content
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

Document Date: 2016-09-15 09:37:52


Open Document

File Size: 1,73 MB

Share Result on Facebook
UPDATE