The following pages link to Ilya Tkachev (Q386603):
Displaying 9 items.
- Characterization and computation of infinite-horizon specifications over Markov processes (Q386604) (← links)
- Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← links)
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- On the effect of perturbation of conditional probabilities in total variation (Q2453864) (← links)
- Regularization of bellman equations for infinite-horizon probabilistic properties (Q2986770) (← links)
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems (Q2986933) (← links)
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems (Q2986934) (← links)
- Bisimilar symbolic models for stochastic control systems without state-space discretization (Q2986948) (← links)
- On approximation metrics for linear temporal model-checking of stochastic systems (Q2986966) (← links)
