Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games Markus N. RabeSven Schewe Original Article 30 July 2011 Article: 291
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states Daowen QiuLvzhou LiJozef Gruska Original Article 02 August 2011 Article: 271