Campus Event Calendar
Event Entry
What and Who
Probalistic CEGAR
Prof. Dr. Holger Hermanns
Fachrichtung Informatik - Saarbrücken
Ringvorlesung
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 11 December 2008
13:00
60 Minutes
E1 3 - Hörsaal Gebäude
0.16
Saarbrücken
Abstract
robabilistic behavioural models are widely used to analyze secure,
embedded, networked, and also biological systems. The goal of this
research is to develop analysis techniques for very large or even
infinite size probabilistic models.For this, concise abstractions are
crucial, abstractions that are precise enough to obtain the desired
information and yet small enough to be efficiently analyzable. We show
how to find such abstractions for probabilistic systems in an iteractive
process in which a model that turns out to be too abstract is
automatically refined, based on a wheighted counterexample analysis. We
show that despite the fact that the scientific challenges faced are far
more intricate than in the non-probabilistic setting, it is possible to
come up with a sound and effective method, outperforming the thus far
leading approaches in this setting.
embedded, networked, and also biological systems. The goal of this
research is to develop analysis techniques for very large or even
infinite size probabilistic models.For this, concise abstractions are
crucial, abstractions that are precise enough to obtain the desired
information and yet small enough to be efficiently analyzable. We show
how to find such abstractions for probabilistic systems in an iteractive
process in which a model that turns out to be too abstract is
automatically refined, based on a wheighted counterexample analysis. We
show that despite the fact that the scientific challenges faced are far
more intricate than in the non-probabilistic setting, it is possible to
come up with a sound and effective method, outperforming the thus far
leading approaches in this setting.
Contact
imprs
225
--email hidden
passcode not visible
logged in users only
Jennifer Gerling, 12/09/2008 14:06 -- Created document.