Technical Reports
A List by Author: Jan Krčál
- e-mail:
- krcal(a)fi.muni.cz
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
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
by Tomáš Brázdil, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.
FIMU-RS-2010-05. Available as Postscript, PDF.
Abstract:
We consider two-player stochastic games over real-time probabilistic
Continuous-Time Stochastic Games with Time-Bounded Reachability
by Tomáš Brázdil, Vojtěch Forejt, Jan Krčál, Jan Křetínský, Antonín Kučera, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.
FIMU-RS-2009-09. Available as Postscript, PDF.
Abstract:
We study continuous-time stochastic games with
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.