Ilya Tkachev
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Towards scalable synthesis of stochastic control systems Discrete Event Dynamic Systems | 2018-01-31 | Paper |
| Regularization of Bellman equations for infinite-horizon probabilistic properties Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
| Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Bisimilar symbolic models for stochastic control systems without state-space discretization Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| On approximation metrics for linear temporal model-checking of stochastic systems Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Quantitative model-checking of controlled discrete-time Markov processes Information and Computation | 2017-03-16 | Paper |
| On the effect of perturbation of conditional probabilities in total variation Statistics & Probability Letters | 2014-06-11 | Paper |
| Characterization and computation of infinite-horizon specifications over Markov processes Theoretical Computer Science | 2013-12-10 | Paper |
Research outcomes over time
This page was built for person: Ilya Tkachev
