Benutzer: Gast  Login
Titel:

Don't know in Probabilistic Systems

Dokumenttyp:
Technical Report, TUM-I0519
Autor(en):
Harald Fecher, Martin Leucker, Verena Wolf
Abstract:
This work extends the abstraction-refinement paradigm based on 3-valued logics to the setting of probabilistic systems. Firstly, We define a notion of abstraction for Markov chains. To be able to relate the behavior of abstract and concrete systems, we equip the notion of abstraction with the concept of simulation. \\ Furthermore, we present model checking for abstract probabilistic systems (abstract Markov chains) with respect to specifications in probabilistic temporal logics, interpreted over...     »
Stichworte:
Abstraction; Model Checking; 3-valued logic
Jahr:
2005
Jahr / Monat:
2005-10-01 00:00:00
Seiten/Umfang:
16
 BibTeX