Susmoy Das

According to our database, Susmoy Das authored at least 6 papers between 2021 and 2024.

Collaborative distances:

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

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

2023

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

Susmoy Das, Arpit Sharma

CoRR, 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

2022

Embeddings Between State and Action Based Probabilistic Logics.

Susmoy Das, Arpit Sharma

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

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