Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

lter

| Beteiligte Mitarbeiter | Beschreibung | Publikationen |


Beteiligte Mitarbeiter

Lehrstuhl für Rechnerarchitektur
Ralf Wimmer, Dr. Entwickler / Kontakt


Beschreibung

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.



Publikationen
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