Logo
User: Guest  Login
Autor:
Kuntz, Matthias; Siegle, Markus 
Titel:
A Stochastic Extension of the Logic PDL 
Verlegende Stelle:
Universität der Bundeswehr München, Fakultät für Informatik 
Report-Nummer:
2004-05 
Jahr, Monat:
2004-10 
Abstract:
In this paper we present a stochastic extension of the modal logic PDL (propositional dynamic logic), SPDL, that is interpreted over labelled continuous time Markov chains (CTMC). We define the syntax and semantics of SPDL. SPDL provides, like PDL, powerful means to specify path properties. In general paths can be characterised by regular expressions, where the executability of a regular expression can depend on the validity of guard or test formulae. Such regular expressions enriched with...    »
 
Hinweis:
Gedruckte Ausgabe im Bestand der UB UniBw M: 35/MAT006/YL1760 und Mag/YL1761 
versions