The paper “Correct and Efficient Antichain Algorithms for Refinement Checking” by Maurice Laveaux, Jan Friso Groote and Tim Willemse has been accepted for publication at FORTE 2019 in Lyngby, Denmark.