Der Band des fünften MoChArt‑Workshops aus Patras bietet aktuelle Forschung zu Modellprüfung und KI, inklusive theoretischer Analysen, algorithmischer Ansätze und praxisorientierter Fallstudien.