Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ilya Tkachev
Map detail
Ilya Tkachev6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipIlya TkachevAIlya TkachevResearcherComputation of ruin probabilities for general discrete-time Markov modelsWComputation of ruin pro...preprint / 2013Characterization and computation of infinite horizon specifications over Markov processesWCharacterization and co...preprint / 2014Quantitative model-checking of controlled discrete-time Markov processesWQuantitative model-chec...preprint / 2014Towards Scalable Synthesis of Stochastic Control SystemsWTowards Scalable Synthe...preprint / 2016On the effect of perturbation of conditional probabilities in total variationWOn the effect of pertur...preprint / 2013
Person5 links

Ilya Tkachev

Researcher