Tkachev, Ilya

1. Quantitative model-checking of controlled discrete-time Markov processes
   2014/07/21 by Tkachev, Ilya, Mereacre, Alexandru, Katoen, Joost-Pieter +1 · 1 citation
   #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Optimization and Control (math.OC) #Probability (math.PR) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Towards Scalable Synthesis of Stochastic Control Systems
   2016/02/03 by Zamani, Majid, Tkachev, Ilya, Abate, Alessandro · 1 citation
   #68Q60 #93C10 #93E03 #B.1.2 #B.5.2 #D.2.4 #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #I.2.8 #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering