State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains. - Susmoy Das; Arpit Sharma 002 (EPEW, 2021)

Embeddings between state and action labeled probabilistic systems. - Susmoy Das; Arpit Sharma 002 (SAC, 2021)

Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court. - Susmoy Das; Arpit Sharma 002 (DataMod, 2023)

On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems. - Susmoy Das; Arpit Sharma 002 (FORTE, 2023)

Process Mining Meets Probabilistic Model Checking via Model and Logical Embeddings. - Susmoy Das; Arpit Sharma 002 (Principles of Verification (2), 2024)

A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems. - Susmoy Das; Arpit Sharma 002 (SAC, 2024)

Embeddings Between State and Action Based Probabilistic Logics. - Susmoy Das; Arpit Sharma 002 (Formal Aspects Comput., 2025)