lter
| Beteiligte Mitarbeiter | Beschreibung | Publikationen
|
| Lehrstuhl für Rechnerarchitektur | |
| Ralf Wimmer, Dr. | Entwickler / Kontakt |
lter ist ein Werkzeug zur Berechnung von minimalen und maximalen mittleren Rewards in Markow-Entscheidungsprozessen auf lange Sicht. Der Grundalgorithmus ist eine Variante von Herold and Veinott's Algorithmus, bei dem symbolische und explizite Methoden eng miteinander verzahnt sind, um den Speicherverbrauch und die Laufzeit so gering wie möglich zu halten.
|
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 |