First Page | Document Content | |
---|---|---|
Date: 2009-03-19 06:17:12Mathematics Temporal logic Computation tree logic Logic in computer science Distribution Model theory Linear temporal logic Indescribable cardinal | Computing Science Group ABSTRACTION FRAMEWORK FOR MARKOV DECISION PROCESSES AND PCTL VIA GAMES Mark Kattenbelt Michael HuthAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source WebsiteFile Size: 516,70 KBShare Document on Facebook |