Ilya Tkachev

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