lter
| project staff | description | publications
|
| Chair of Computer Architecture | |
| Ralf Wimmer, Dr. | developer / contact |
lter is a tool for the computation of maximal and minimal long-run expected rewards for Markov decision processes. The basic algorithm is a variant of Herold and Veinott's algorithm. We intertwine symbolic and explicit methods in order to keep memory consumption and computation time as low as possible.
|
Ralf Wimmer, Bettina Braitling, Bernd Becker, et al. Symblicit Computation of Long-Run Averages for Concurrent Probabilistic Systems Int'l Conf. on Quantitative Evaluation of Systems (QEST), 2010 |