A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. - Didier Buchs; Stefan Klikovits; Alban Linard; Romain Mencattini; Dimitri Racordon (Petri Nets, 2018)