Technical Reports
A List by Author: Holger Hermanns
- e-mail:
- hermanns(a)cs.uni-saarland.de
Probabilistic Bisimulation: Naturally on Distributions
by Holger Hermanns, Jan Krčál, Jan Křetínský, April 2014, 36 pages.
FIMU-RS-2014-03. Available as Postscript, PDF.
Abstract:
In contrast to the usual understanding of probabilistic systems as
Verification of Open Interactive Markov Chains
by Tomáš Brázdil, Holger Hermanns, Jan Krčál, Jan Křetínský, Vojtěch Řehák, A full version of the paper presented at conference FSTTCS 2012. November 2012, 52 pages.
FIMU-RS-2012-04. Available as Postscript, PDF.
Abstract:
Interactive Markov chains (IMC) are compositional behavioral models extending both labeled transition systems and continuous-time Markov chains. IMC pair modeling convenience - owed to compositionality properties - with effective verification algorithms and tools - owed to Markov properties. Thus far however, IMC verification did not consider compositionality properties, but considered closed systems. This paper discusses the evaluation of IMC in an open and thus compositional interpretation. For this we embed the IMC into a game that is played with the environment. We devise algorithms that enable us to derive
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.