Article10.1016/j.tcs.2015.07.047
Multiphase until formulas over Markov reward models: An algebraic approach
Ming Xu,Lijun Zhang,David N. Jansen,Huibiao Zhu,Zongyuan Yang-2015-07-30-Theoretical Computer Science
8
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
Markov chainProbabilistic logicUpper and lower boundsAlgebraic numberMathematicsMarkov decision processMathematical optimizationProbability theory
Chat
Click to start Chat