On infinite-horizon probabilistic properties and stochastic bisimulation functions. - Ilya Tkachev; Alessandro Abate (CDC/ECC, 2011)

Stability and attractivity of absorbing sets for discrete-time Markov processes. - Ilya Tkachev; Alessandro Abate (CDC, 2012)

Regularization of bellman equations for infinite-horizon probabilistic properties. - Ilya Tkachev; Alessandro Abate (HSCC, 2012)

A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem. - Ilya Tkachev; Alessandro Abate (CDC, 2013)

Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. - Ilya Tkachev; Alessandro Abate (HSCC, 2013)

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. - Ilya Tkachev; Alexandru Mereacre; Joost-Pieter Katoen; Alessandro Abate (HSCC, 2013)

Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach. - Lakshmeesh R. M. Maruthi; Ilya Tkachev; Alfonso Carta; Eugenio Cinquemani; Pascal Hersen; Grégory Batt; Alessandro Abate (CMSB, 2014)

On approximation metrics for linear temporal model-checking of stochastic systems. - Ilya Tkachev; Alessandro Abate (HSCC, 2014)

Bisimilar symbolic models for stochastic control systems without state-space discretization. - Majid Zamani 001; Ilya Tkachev; Alessandro Abate (HSCC, 2014)

Characterization and computation of infinite-horizon specifications over Markov processes. - Ilya Tkachev; Alessandro Abate (Theor. Comput. Sci., 2014)

A mean field equilibrium for a model of interbank lending. - Maximilian Balandat; Ilya Tkachev; Alessandro Abate; Claire J. Tomlin (ACC, 2015)

Towards scalable synthesis of stochastic control systems. - Majid Zamani 001; Ilya Tkachev; Alessandro Abate (Discret. Event Dyn. Syst., 2017)

Quantitative model-checking of controlled discrete-time Markov processes. - Ilya Tkachev; Alexandru Mereacre; Joost-Pieter Katoen; Alessandro Abate (Inf. Comput., 2017)

Virtual Soft Sensor of the Feedstock Composition of the Catalytic Reforming Unit. - Natalia Koteleva; Ilya Tkachev (Symmetry, 2021)