Follow
Ilya Tkachev
Title
Cited by
Cited by
Year
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
I Tkachev, A Mereacre, JP Katoen, A Abate
Proceedings of the 16th international conference on Hybrid systems …, 2013
642013
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
I Tkachev, A Abate
Proceedings of the 16th international conference on Hybrid systems …, 2013
502013
On infinite-horizon probabilistic properties and stochastic bisimulation functions
I Tkachev, A Abate
2011 50th IEEE Conference on Decision and Control and European Control …, 2011
402011
Quantitative model-checking of controlled discrete-time Markov processes
I Tkachev, A Mereacre, JP Katoen, A Abate
Information and Computation 253, 1-35, 2017
352017
Towards scalable synthesis of stochastic control systems
M Zamani, I Tkachev, A Abate
Discrete Event Dynamic Systems 27, 341-369, 2017
292017
Characterization and computation of infinite-horizon specifications over Markov processes
I Tkachev, A Abate
Theoretical Computer Science 515, 1-18, 2014
292014
Bisimilar symbolic models for stochastic control systems without state-space discretization
M Zamani, I Tkachev, A Abate
Proceedings of the 17th international conference on hybrid systems …, 2014
232014
Regularization of Bellman equations for infinite-horizon probabilistic properties
I Tkachev, A Abate
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
132012
On the effect of perturbation of conditional probabilities in total variation
A Abate, F Redig, I Tkachev
Statistics & Probability Letters 88, 1-8, 2014
102014
On approximation metrics for linear temporal model-checking of stochastic systems
I Tkachev, A Abate
Proceedings of the 17th international conference on Hybrid systems …, 2014
102014
Towards real-time control of gene expression at the single cell level: a stochastic control approach
LRM Maruthi, I Tkachev, A Carta, E Cinquemani, P Hersen, G Batt, ...
Computational Methods in Systems Biology: 12th International Conference …, 2014
82014
Stability and attractivity of absorbing sets for discrete-time Markov processes
I Tkachev, A Abate
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 7652-7657, 2012
32012
A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem
I Tkachev, A Abate
52nd IEEE Conference on Decision and Control, 3211-3216, 2013
12013
Bisimilar stochastic systems
I Tkachev
2019
A mean field equilibrium for a model of interbank lending
M Balandat, I Tkachev, A Abate, CJ Tomlin
2015 American Control Conference (ACC), 1752-1757, 2015
2015
Computation of ruin probabilities for general discrete-time Markov models
I Tkachev, A Abate
arXiv preprint arXiv:1308.5152, 2013
2013
Formal verification of discrete-time Markov processes with an application to Risk Theory
I Tkachev, A Abate
31st Benelux Meeting on Systems and Control, 21, 2012
2012
Hedging strategy for an option on commodity market
I Tkachev
2010
The system can't perform the operation now. Try again later.
Articles 1–18