25 Oct 2017

SETTA'17 best paper award

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