Two papers accepted in SETTA’17

The joint work between ISCAS, SAU, and Masdar Institute of Science and Technology about the polynomial-time alternating probabilistic bisimulation for interval MDPs [HashemiTHHE17] and the joint work between ISCAS and East China Normal University about equivalence checking of nondeterministic finite automata [FuDJZ17] have been accepted at SETTA’17.