Jan Kr\v{c}\'al

Identifiers

• name variant Jan Kr\v{c}\'al 0.60 · backfill

Papers (11)

1. Distributed Synthesis in Continuous Time cs.DC · 2016 · author #2
2. Controller synthesis for MDPs and Frequency LTL$\setminus$GU cs.LO · 2015 · author #2
3. Recharging Probably Keeps Batteries Alive cs.SY · 2015 · author #2
4. On Frequency LTL in Probabilistic Systems cs.LO · 2015 · author #2
5. Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis cs.PF · 2014 · author #3
6. Dealing with Zero Density Using Piecewise Phase-type Approximation cs.PF · 2014 · author #2
7. Probabilistic Bisimulation: Naturally on Distributions cs.LO · 2014 · author #2
8. Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs cs.FL · 2014 · author #3
9. Compositional Verification and Optimization of Interactive Markov Chains cs.LO · 2013 · author #2
10. Fixed-delay Events in Generalized Semi-Markov Processes Revisited cs.SY · 2011 · author #2
11. Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata cs.SY · 2011 · author #2

Mentions

• 1305.7332 #2 · backfill · confidence 0.70 Jan Kr\v{c}\'al
• 1106.1424 #2 · backfill · confidence 0.70 Jan Kr\v{c}\'al
• 1101.4204 #2 · backfill · confidence 0.70 Jan Kr\v{c}\'al

Frequent Coauthors

• Jan K\v{r}et\'insk\'y 5 shared papers
• Holger Hermanns 4 shared papers
• Vojt\v{e}ch \v{R}eh\'ak 4 shared papers
• Tom\'a\v{s} Br\'azdil 3 shared papers
• \v{L}ubo\v{s} Koren\v{c}iak 2 shared papers
• Vojt\v{e}ch Forejt 2 shared papers
• Anton\'in Ku\v{c}era 1 shared papers
• Gilles Nies 1 shared papers
• Hassan Hatefi 1 shared papers
• Petr Novotn\'y 1 shared papers
• Steen Vester 1 shared papers
• Vahid Hashemi 1 shared papers