SETTA’17 best paper award

The SETTA paper about the polynomial-time alternating probabilistic bisimulation for interval MDPs [HashemiTHHE17] has been awarded with the SETTA’17 best paper award.