Ilya Tkachev
Titolo
Citata da
Citata da
Anno
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
462013
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
362013
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
252011
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
222014
Quantitative model-checking of controlled discrete-time Markov processes
I Tkachev, A Mereacre, JP Katoen, A Abate
Information and Computation 253, 1-35, 2017
192017
Characterization and computation of infinite-horizon specifications over Markov processes
I Tkachev, A Abate
Theoretical Computer Science 515, 1-18, 2014
182014
Towards scalable synthesis of stochastic control systems
M Zamani, I Tkachev, A Abate
Discrete Event Dynamic Systems 27 (2), 341-369, 2017
172017
Regularization of Bellman equations for infinite-horizon probabilistic properties
I Tkachev, A Abate
Proceedings of the 15th ACM international conference on Hybrid Systemsá…, 2012
82012
On the effect of perturbation of conditional probabilities in total variation
A Abate, F Redig, I Tkachev
Statistics & Probability Letters 88, 1-8, 2014
72014
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
62014
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, ...
International Conference on Computational Methods in Systems Biology, 155-172, 2014
52014
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
22012
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
Delft University of Technology, 2019
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
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–18