Susmoy Das

According to our database, Susmoy Das authored at least 7 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Embeddings Between State and Action Based Probabilistic Logics.

Susmoy Das, Arpit Sharma

Formal Aspects Comput., June, 2025

2024

A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems.

Susmoy Das, Arpit Sharma

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Process Mining Meets Probabilistic Model Checking via Model and Logical Embeddings.

Susmoy Das, Arpit Sharma

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems.

Susmoy Das, Arpit Sharma

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court.

Susmoy Das, Arpit Sharma

Proceedings of the From Data to Models and Back - 11th International Symposium, 2023

2021

Embeddings between state and action labeled probabilistic systems.

Susmoy Das, Arpit Sharma

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains.

Susmoy Das, Arpit Sharma

Proceedings of the Performance Engineering and Stochastic Modeling, 2021