TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Research Meeting 11132

Counterexamples for Stochastic Systems

( Mar 27 – Mar 30, 2011 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/11132

Organizers


Goals

Counterexamples are of utmost importance for the correction of erroneous systems. For many important classes of properties, model checking algorithms on digital circuits are able to generate counterexamples without additional effort. For stochastic systems, however, the situation is different: Computing probabilities for model checking is done by solving appropriate equation systems. If a property is violated, the user does not obtain any information about the reasons of violation. Therefore intensive research on probabilistic counterexamples has been initiated during the last few years.

During our Dagstuhl meeting we want to discuss and work on the combination of different approaches for counterexample generation for Markov chains which were developed at the RWTH Aachen University and the University of Freiburg.