A Spectrum of Approximate Probabilistic Bisimulations. - Timm Spork; Christel Baier; Joost-Pieter Katoen; Jakob Piribauer; Tim Quatmann (CONCUR, 2024)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains. - Timm Spork; Christel Baier; Joost-Pieter Katoen; Sascha Klüppelholz; Jakob Piribauer (CAV (2), 2025)

Model Checking Linear Temporal Logic with Standpoint Modalities. - Rajab Aghamov; Christel Baier; Toghrul Karimov; Rupak Majumdar; Joël Ouaknine; Jakob Piribauer; Timm Spork (CoRR, 2025)