Cited By
View all- Größer MNorman GBaier CCiesinski FKwiatkowska MParker D(2006)On reduction criteria for probabilistic reward modelsProceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science10.1007/11944836_29(309-320)Online publication date: 13-Dec-2006
- Groesser MBaier C(2005)Partial order reduction for markov decision processesProceedings of the 4th international conference on Formal Methods for Components and Objects10.1007/11804192_19(408-427)Online publication date: 1-Nov-2005