“...Workshop on Model Checking and Artificial Intelligence Riva del Garda, Itálie)...”