Susmoy Das, Arpit Sharma (2025) Embeddings Between State and Action Based Probabilistic Logics Crossref. (doi: 10.1145/3696431)

Susmoy Das, Arpit Sharma (2025) Process Mining Meets Probabilistic Model Checking via Model and Logical Embeddings Susmoy Das. ISBN 9783031757754 ISSN 1611-3349 (doi: 10.1007/978-3-031-75775-4_9)

Susmoy Das, Arpit Sharma (2023) On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems Susmoy Das. ISBN 9783031353550 ISSN 1611-3349 (doi: 10.1007/978-3-031-35355-0_8)

Susmoy Das, Arpit Sharma (2022) Embeddings Between State and Action Based Probabilistic Logics Susmoy Das. ISBN 9783031208720 ISSN 1611-3349 (doi: 10.1007/978-3-031-20872-0_8)

Das, S., Sharma, A. (2024) A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems Scopus - Elsevier. ISBN 9798400702433 (doi: 10.1145/3605098.3636032)

(2021) Embeddings between state and action labeled probabilistic systems Susmoy Das. (doi: 10.1145/3412841.3442048)

(2021) State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains Susmoy Das. ISBN 978-3-030-91825-5

Das, S., Sharma, A. (2021) State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains Scopus - Elsevier. ISBN 9783030918248 ISSN 16113349 03029743 (doi: 10.1007/978-3-030-91825-5_3)

Susmoy Das, Arpit Sharma (2023) Artefact for 'On the Use of Model and Logical Embeddings for Model Checking of Stochastic Systems' Susmoy Das. (doi: 10.5281/ZENODO.8166485)

Susmoy Das, Arpit Sharma (2023) Artefact for 'Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court' Susmoy Das. (doi: 10.5281/ZENODO.8166141)

Susmoy Das, Arpit Sharma (2023) Artefact for 'On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems' Susmoy Das. (doi: 10.5281/ZENODO.7813997)

Das, S., Sharma, A. (2023) Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court Scopus - Elsevier. ISSN 23318422 (doi: 10.48550/arXiv.2311.05177)