Back to Results
First PageMeta Content
Mathematics / 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 Huth
Add to Reading List

Document Date: 2009-03-19 06:17:12


Open Document

File Size: 516,70 KB

Share Result on Facebook