Journal paper accepted in Information and Computation.

J. Ezekiel and A. Lomuscio have their paper “Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems” accepted in the international journal Information and Computation.