Tkachev, I., Abate, A., Mereacre, A., & Katoen, J. (2012). Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems.
芝加哥风格引文Tkachev, I., A. Abate, A. Mereacre, 与 J. Katoen. Quantitative Automata-based Controller Synthesis for Non-autonomous Stochastic Hybrid Systems. 2012.
MLA引文Tkachev, I., et al. Quantitative Automata-based Controller Synthesis for Non-autonomous Stochastic Hybrid Systems. 2012.
警告：这些引文格式不一定是100％准确.