The SETTA paper about the polynomial-time alternating probabilistic bisimulation for interval MDPs [HashemiTHHE17] has been awarded with the SETTA’17 best paper award.
SETTA’17 best paper award
- Two papers accepted in SETTA’17
- Paper accepted in VMCAI’18