Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Markov Reward Model Checker

Known as: MRMC, Markov Reward Model Checker (MRMC) 
The Markov Reward Model Checker (MRMC) is a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Abstract Investor sentiment has been shown as an important factor that influences market returns, and a number of profitable… Expand
Is this relevant?
2016
2016
As wireless networks are gaining increasing popularity, the network energy efficiency has become a critical issue. In this paper… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2014
Highly Cited
2014
We introduce the web-based model checker iscasMc for probabilistic systems see http://iscasmc.ios.ac.cn/IscasMC . This Java… Expand
  • figure 1
  • table 1
Is this relevant?
Highly Cited
2012
Highly Cited
2012
The Wireless Mesh Network (WMN) has already been recognized as a promising broadband access network technology from both academic… Expand
  • table I
  • table II
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2009
Highly Cited
2009
The Markov Reward Model Checker (MRMC) is a software toolfor verifying properties over probabilistic models. It supports PCTL and… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
Highly Cited
2009
Highly Cited
2009
The Markov Reward Model Checker (MRMC) is a software toolfor verifying properties over probabilistic models. It supports PCTL and… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
2009
2009
Existing channel assignment algorithms designed for multi-radio multi-channel wireless mesh networks (MRMC-WMN) mainly deal with… Expand
  • figure 1
  • table II
  • table III
  • table I
  • figure 4
Is this relevant?
2007
2007
Continuous-time Markov decision processes (CTMDPs) are behavioral models with continuous-time, nondeterminism and memoryless… Expand
  • figure 1
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports… Expand
  • figure 1
Is this relevant?
Highly Cited
1992
Highly Cited
1992
A variable-block-size multiresolution motion compensation (MRMC) scheme in which the size of a block is adapted to its level in… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?