Milan \v{C}e\v{s}ka

Identifiers

• name variant Milan \v{C}e\v{s}ka 0.60 · backfill

Papers (6)

1. Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families cs.LO · 2026 · author #1
2. Shields to Guarantee Probabilistic Safety in MDPs cs.LO · 2026 · author #4
3. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks cs.SY · 2019 · author #1
4. Counterexample-Driven Synthesis for Probabilistic Program Sketches cs.SE · 2019 · author #1
5. Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata cs.FL · 2019 · author #1
6. Computing Optimal Cycle Mean in Parallel on CUDA cs.DC · 2011 · author #4

Mentions

• 1111.0627 #4 · backfill · confidence 0.70 Milan \v{C}e\v{s}ka

Frequent Coauthors

• Sebastian Junges 3 shared papers
• Filip Mac\'ak 2 shared papers
• Christian Hensel 1 shared papers
• Denis Matou\v{s}ek 1 shared papers
• Jakub Semri\v{c} 1 shared papers
• Jan Ko\v{r}enek 1 shared papers
• Jan K\v{r}et\'insk\'y 1 shared papers
• Ji\v{r}\'i Barnat 1 shared papers
• Ji\v{r}\'i Matou\v{s}ek 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Linus Heck 1 shared papers
• Lubo\v{s} Brim 1 shared papers
• Luk\'a\v{s} Hol\'ik 1 shared papers
• Luko van der Maas 1 shared papers
• Ond\v{r}ej Leng\'al 1 shared papers
• Petr Bauch 1 shared papers
• Roman Andriushchenko 1 shared papers
• Tim Quatmann 1 shared papers
• Tom\'a\v{s} Vojnar 1 shared papers
• Vojt\v{e}ch Havlena 1 shared papers