Campus Event Calendar
Event Entry
What and Who
You have a choice: Compositionality or Decidability
Sergio Giro
Universidad
Nacional de Cordoba, Argentina
Avacs Virtual Seminar
AG 1, RG1
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 21 September 2007
13:30
45 Minutes
E1 4
024
Saarbrücken
Abstract
It is a well known fact that interleaving semantics for Markov
decission processes do not allow compositional reasoning. Some
research has been done in order to obtain compositional reasoning for
Markov decision processes. These approaches restrict the set of
possible schedulers, in order to eliminate unrealistic hehaviours.
This elimnation of schedulers is also useful to obtain better bounds
for the probability of properties. In this talk, we will show why the
model checking problem is undecidable if the set of schedulers is
restricted to obtain compositionality.
decission processes do not allow compositional reasoning. Some
research has been done in order to obtain compositional reasoning for
Markov decision processes. These approaches restrict the set of
possible schedulers, in order to eliminate unrealistic hehaviours.
This elimnation of schedulers is also useful to obtain better bounds
for the probability of properties. In this talk, we will show why the
model checking problem is undecidable if the set of schedulers is
restricted to obtain compositionality.
Contact
Roxane Wetzel
900
--email hidden
passcode not visible
logged in users only
Roxane Wetzel, 09/19/2007 09:58
Roxane Wetzel, 08/14/2007 09:42 -- Created document.
Roxane Wetzel, 08/14/2007 09:42 -- Created document.