51 citations · 366 across the 55 of their papers we have counts for
5 papers · 1 filter
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games
Maria Svorenova, Jan Kretinsky, Martin Chmelik +3
We consider the problem of computing the set of initial states of a dynamical system such that there exists a control strategy to ensure that the trajectories satisfy a temporal lo…
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…