Changes between Version 22 and Version 23 of WikiStart


Ignore:
Timestamp:
Jun 18, 2008, 5:14:55 PM (11 years ago)
Author:
Dr. Ivan S. Zapreev
Comment:

minor

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v22 v23  
    88 * Discrete time Markov Reward models (DMRMs),
    99 * Continuous time Markov Reward models (CMRMs),
    10  * Continuous time Markov decision processes (CTMDPIs1).
     10 * Continuous time Markov decision processes (CTMDPIs).
    1111
    1212The tool is written in C and supports verification of: