Validation of Stochastic Systems

The project Validation of Stochastic Systems is a cooperation project between the University of Erlangen-Nürnberg, the University of Bonn, the University of Nijmegen and the University of Twente (previously, also the RWTH Aachen was involved). The project is financed through both NWO and DFG and aims at developing methods, techniques and tools for the validation of systems in which stochastic behaviour plays an important role. For more information, see the project-specific VOSS webpage. The work of Jose Martinez on the evaluation of the distribution of accumulated reward in Markov-reward models and the work of Lucia Cloth on model-checking Markov-reward models is done in the context of this project.