The joint work between ISCAS and SAU about exploiting robust optimization for interval probabilistic bisimulation has been accepted at QEST’16.
Paper accepted in CAV’16
The joint work between ISCAS and the University of Liverpool about a simple algorithm for solving qualitative probabilistic parity games has been accepted at CAV’16. Moreover, it has received the “Artifact Evaluated Stamp”.
Paper accepted in FAoC
ISCAS and SAU have jointly worked on deciding probabilistic automata weak bisimulation: theory and practice; the resulting paper has been accepted in the journal Formal Aspects of Computing.
Paper accepted in LATA’16
The joint work between ISCAS and SAU about the compositional bisimulation minimization for interval Markov decision processes has been accepted at LATA’16.