Best Paper Award for Alternating Bisimulation
24 Oct 2017Our work on alternating bisimulation for interval Markov decision processes wins the best paper award at SETTA 2017.
Dependable Systems and Software
Dependable Systems and Software
Our work on alternating bisimulation for interval Markov decision processes wins the best paper award at SETTA 2017.