Changes between Version 22 and Version 23 of WikiStart

Show
Ignore:
Timestamp:
06/18/08 17:14:55 (5 years ago)
Author:
ivan.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: