The following pages link to Joost-Pieter Katoen (Q236073):
Displaying 50 items.
- (Q197410) (redirect page) (← links)
- Markov chains competing for transitions: application to large-scale distributed systems (Q352904) (← links)
- Algorithmics for beginners. For students, teachers and pupils of the subjects of mathematics and informatics (Q380957) (← links)
- Abstract probabilistic automata (Q386011) (← links)
- Characterization and computation of infinite-horizon specifications over Markov processes (Q386604) (← links)
- Minimal counterexamples for linear-time probabilistic verification (Q402125) (← links)
- Sampling different kinds of acyclic automata using Markov chains (Q442144) (← links)
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Confluence reduction for Markov automata (Q507382) (← links)
- Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← links)
- Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components (Q518409) (← links)
- Approximate model checking of stochastic hybrid systems (Q629650) (← links)
- Stochastic game logic (Q715046) (← links)
- Juggrnaut: using graph grammars for abstracting unbounded heap structures (Q746781) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Tweaking the odds in probabilistic timed automata (Q832050) (← links)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Latticed \(k\)-induction with an application to probabilistic programs (Q832288) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- Probabilistic weak simulation is decidable in polynomial time (Q1029062) (← links)
- (Q1263292) (redirect page) (← links)
- Bottom-up tree acceptors (Q1263293) (← links)
- Model-checking large structured Markov chains. (Q1400291) (← links)
- Pattern-matching algorithms based on term rewrite systems (Q1575262) (← links)
- Model checking of open interval Markov chains (Q1649575) (← links)
- Inferring covariances for probabilistic programs (Q1693100) (← links)
- On the hardness of analyzing probabilistic programs (Q1733103) (← links)
- Code generation based on formal BURS theory and heuristic search (Q1920230) (← links)
- Systolic arrays for the recognition of permutation-invariant segments (Q1924628) (← links)
- Layered reasoning for randomized distributed algorithms (Q1941864) (← links)
- On the semantics of Markov automata (Q1951578) (← links)
- Automated compositional Markov chain generation for a plain-old telephone system (Q1969600) (← links)
- Counterexample-guided inductive synthesis for probabilistic systems (Q1982641) (← links)
- Parameter synthesis for Markov models: faster than ever (Q1990499) (← links)
- Bounded model checking for probabilistic programs (Q1990501) (← links)
- Finding provably optimal Markov chains (Q2044197) (← links)
- Inductive synthesis for probabilistic programs reaches new horizons (Q2044199) (← links)
- Multi-objective optimization of long-run average and total rewards (Q2044201) (← links)
- Probabilistic model checking of AODV (Q2056982) (← links)
- Bayesian inference by symbolic model checking (Q2056985) (← links)
- The 10,000 facets of MDP model checking (Q2075778) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Generating functions for probabilistic programs (Q2119118) (← links)
- Synthesizing optimal bias in randomized self-stabilization (Q2121058) (← links)
- Fine-tuning the odds in Bayesian networks (Q2146027) (← links)
- Markov automata with multiple objectives (Q2151241) (← links)
- Gradient-descent for randomized controllers under partial observability (Q2152644) (← links)
- Out of control: reducing probabilistic models by control-state elimination (Q2152665) (← links)
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination (Q2182734) (← links)
