Computing Probability Lower and Upper Bounds for LTL Formulae over Sequential and Concurrent Markov ChainsBaier, Christel ; Kwiatkowska, Marta ; Norman, Gethin
BASE:
Baier, Christel
;
Kwiatkowska, Marta
;
Norman, Gethin
Google Scholar: Baier, Christel ; Kwiatkowska, Marta ; Norman, Gethin
|
![]() |
Show item |