Mereacre, Alexandru
- 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