Ilya Tkachev

Available identifiers

zbMath Open tkachev.ilyaMaRDI QIDQ386603

List of research outcomes

Publication	Date of Publication	Type
Towards scalable synthesis of stochastic control systems	2018-01-31	Paper
Regularization of bellman equations for infinite-horizon probabilistic properties	2017-05-16	Paper
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems	2017-05-16	Paper
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems	2017-05-16	Paper
Bisimilar symbolic models for stochastic control systems without state-space discretization	2017-05-16	Paper
On approximation metrics for linear temporal model-checking of stochastic systems	2017-05-16	Paper
Quantitative model-checking of controlled discrete-time Markov processes	2017-03-16	Paper
On the effect of perturbation of conditional probabilities in total variation	2014-06-11	Paper
Characterization and computation of infinite-horizon specifications over Markov processes	2013-12-10	Paper

Research outcomes over time

This page was built for person: Ilya Tkachev