Publication:4813198
From MaRDI portal
zbMath1065.68582MaRDI QIDQ4813198
Henrik Ejersbo Jensen, Bertrand Jeannet, Kim Guldstrand Larsen, Pedro R. D'Argenio
Publication date: 13 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2399/23990057.htm
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation, Confluence reduction for Markov automata, CEGAR for compositional analysis of qualitative properties in Markov decision processes, A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time, Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes, Least upper bounds for probability measures and their applications to abstractions, On Abstraction of Probabilistic Systems, Probabilistic CEGAR
Uses Software