The following pages link to Jan Křetínský (Q690503):
Displayed 18 items.
- dtControl (Q5146381) (← links)
- dtControl (Q5146399) (← links)
- Rabinizer 2: Small Deterministic Automata for LTL ∖ GU (Q5166706) (← links)
- MoTraS: A Tool for Modal Transition Systems and Their Extensions (Q5166714) (← links)
- 30 Years of Modal Transition Systems: Survey of Extensions and Analysis (Q5217296) (← links)
- (Q5278082) (← links)
- (Q5357700) (← links)
- (Q5875366) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5892457) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)
- Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q6041135) (← links)
- Continuous-time Markov decisions based on partial exploration (Q6109595) (← links)
- Owl: a library for \(\omega \)-words, automata, and LTL (Q6109606) (← links)
- Satisfiability of quantitative probabilistic CTL: rise to the challenge (Q6113985) (← links)
- Optimistic and topological value iteration for simple stochastic games (Q6160920) (← links)
- (Q6176097) (← links)
- Semi-quantitative abstraction and analysis of chemical reaction networks (Q6194590) (← links)
- PAC statistical model checking for Markov decision processes and stochastic games (Q6194591) (← links)