51 citations · 366 across the 55 of their papers we have counts for
4 papers · 2 filters
Compositionality for Quantitative Specifications
Uli Fahrenberg, Jan Křetínský, Axel Legay +1
We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive…
Probabilistic Bisimulation: Naturally on Distributions
Holger Hermanns, Jan Krčál, Jan Křetínský
In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities. In this pa…
From LTL to Deterministic Automata: A Safraless Compositional Approach
Javier Esparza, Jan Křetínský
We present a new algorithm to construct a deterministic Rabin automaton for an LTL formula . The automaton is the product of a master automaton and an array of slave automata, o…
Verification of Markov Decision Processes using Learning Algorithms
Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelík +5
We present a general framework for applying machine-learning algorithms to the verification of Markov decision processes (MDPs). The primary goal of these techniques is to improve…