Model Checking Markov Chains as Distribution Transformers. - Rajab Aghamov; Christel Baier; Toghrul Karimov; Joris Nieuwveld; Joël Ouaknine; Jakob Piribauer; Mihir Vahanwala (Principles of Verification (2), 2024)

Linear dynamical systems with continuous weight functions. - Rajab Aghamov; Christel Baier; Toghrul Karimov; Joël Ouaknine; Jakob Piribauer (HSCC, 2024)

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)