Ilya Tkachev

Identifiers

• name variant Ilya Tkachev 0.60 · backfill

Papers (5)

1. Towards Scalable Synthesis of Stochastic Control Systems cs.SY · 2016 · author #2
2. Quantitative model-checking of controlled discrete-time Markov processes math.PR · 2014 · author #1
3. On the effect of perturbation of conditional probabilities in total variation math.PR · 2013 · author #3
4. Computation of ruin probabilities for general discrete-time Markov models q-fin.RM · 2013 · author #1
5. Characterization and computation of infinite horizon specifications over Markov processes math.OC · 2012 · author #1

Mentions

• 1211.4346 #1 · arxiv_oai · confidence 0.70 Ilya Tkachev
• 1407.5449 #1 · backfill · confidence 0.70 Ilya Tkachev
• 1311.3066 #3 · backfill · confidence 0.70 Ilya Tkachev
• 1308.5152 #1 · backfill · confidence 0.70 Ilya Tkachev
• 1211.4346 #1 · backfill · confidence 0.70 Ilya Tkachev

Frequent Coauthors

• Alessandro Abate 5 shared papers
• Alexandru Mereacre 1 shared papers
• Frank Redig 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Majid Zamani 1 shared papers