|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 12 gevonden artikelen
| Titel: |
A Decidable Probability Logic for Timed Probabilistic Systems |
| Auteur: |
Lanotte, Ruggero Beauquier, Danièle |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 96 (2009) nr. 1-2 pagina's 127-151 |
| Jaar: |
2009-12-07 |
| Inhoud: |
In this paper we extend the predicate logic introduced by Beauquier et al. in order to deal with Markov decision processes. We prove that with respect to qualitative probabilistic properties, model checking is decidable for this logic applied to Markov decision processes. Furthermore we apply our logic to probabilistic timed transition systems using predicates on clocks. We prove that results on Markov decision processes hold also for probabilistic timed transition systems. The interest of this logic lies in particular on the fact that some important properties are expressible in this logic but not expressible in pCTL. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 12 gevonden artikelen
| volgende >> |