Ilya Tkachev

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 4

Top Topics

Markov Processes

Stochastic Control

Top Venues

Discret. Event Dyn. Syst.

Publications

Natalia Koteleva, Ilya Tkachev
Virtual Soft Sensor of the Feedstock Composition of the Catalytic Reforming Unit. Symmetry 13 (7) (2021)
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
Quantitative model-checking of controlled discrete-time Markov processes. Inf. Comput. 253 (2017)
Majid Zamani, Ilya Tkachev, Alessandro Abate
Towards scalable synthesis of stochastic control systems. Discret. Event Dyn. Syst. 27 (2) (2017)
Majid Zamani, Ilya Tkachev, Alessandro Abate
Towards Scalable Synthesis of Stochastic Control Systems. CoRR (2016)
Maximilian Balandat, Ilya Tkachev, Alessandro Abate, Claire J. Tomlin
A mean field equilibrium for a model of interbank lending. ACC (2015)
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
Quantitative model-checking of controlled discrete-time Markov processes. CoRR (2014)
Ilya Tkachev, Alessandro Abate
On approximation metrics for linear temporal model-checking of stochastic systems. HSCC (2014)
Lakshmeesh R. M. Maruthi, Ilya Tkachev, Alfonso Carta, Eugenio Cinquemani, Pascal Hersen, Grégory Batt, Alessandro Abate
Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach. CMSB (2014)
Majid Zamani, Ilya Tkachev, Alessandro Abate
Bisimilar symbolic models for stochastic control systems without state-space discretization. HSCC (2014)
Ilya Tkachev, Alessandro Abate
Characterization and computation of infinite-horizon specifications over Markov processes. Theor. Comput. Sci. 515 (2014)
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. HSCC (2013)
Ilya Tkachev, Alessandro Abate
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. HSCC (2013)
Ilya Tkachev, Alessandro Abate
A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem. CDC (2013)
Ilya Tkachev, Alessandro Abate
Regularization of bellman equations for infinite-horizon probabilistic properties. HSCC (2012)
Ilya Tkachev, Alessandro Abate
Stability and attractivity of absorbing sets for discrete-time Markov processes. CDC (2012)
Ilya Tkachev, Alessandro Abate
Characterization and computation of infinite horizon specifications over Markov processes CoRR (2012)
Ilya Tkachev, Alessandro Abate
On infinite-horizon probabilistic properties and stochastic bisimulation functions. CDC/ECC (2011)