Model checking with temporal graphs and their derivative. - Binh-Minh Bui-Xuan; Florent Krasnopol; Bruno Monasson; Nathalie Sznajder (CoRR, 2026)