| 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 | 70 | 2013 |
| 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 | 54 | 2013 |
| 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 | 40 | 2011 |
| Quantitative model-checking of controlled discrete-time Markov processes I Tkachev, A Mereacre, JP Katoen, A Abate Information and Computation 253, 1-35, 2017 | 36 | 2017 |
| Characterization and computation of infinite-horizon specifications over Markov processes I Tkachev, A Abate Theoretical Computer Science 515, 1-18, 2014 | 32 | 2014 |
| Towards scalable synthesis of stochastic control systems M Zamani, I Tkachev, A Abate Discrete Event Dynamic Systems 27, 341-369, 2017 | 30 | 2017 |
| 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 | 23 | 2014 |
| Regularization of Bellman equations for infinite-horizon probabilistic properties I Tkachev, A Abate Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 13 | 2012 |
| On the effect of perturbation of conditional probabilities in total variation A Abate, F Redig, I Tkachev Statistics & Probability Letters 88, 1-8, 2014 | 10 | 2014 |
| 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 | 10 | 2014 |
| 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 | 8 | 2014 |
| 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 | 3 | 2012 |
| 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 | 1 | 2013 |
| 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 |
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKכתובת אימייל מאומתת בדומיין cs.ox.ac.uk
