‪Susmoy Das‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	7	7
h-index	2	2
i10-index	0	0

0

4

2

2021202220231 2 4

Co-authors

Arpit SharmaAssistant Professor, Department of Electrical Engineering & Computer Science, IISER BhopalVerified email at iiserb.ac.in

Susmoy Das

Susmoy Das

Doctoral Student, Department of EECS, Indian Institute of Science Education and Research Bhopal

Verified email at iiserb.ac.in

Formal Methods Temporal Logics Stochastic Model Checking


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Embeddings between state and action labeled probabilistic systems S Das, A Sharma Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1759-1767, 2021	3	2021
On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems S Das, A Sharma International Conference on Formal Techniques for Distributed Objects …, 2023	2	2023
Embeddings Between State and Action Based Probabilistic Logics S Das, A Sharma Formal Aspects of Component Software: 18th International Conference, FACS …, 2022	1	2022
State space minimization preserving embeddings for continuous-time Markov chains S Das, A Sharma Performance Engineering and Stochastic Modeling: 17th European Workshop …, 2021	1	2021
Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court S Das, A Sharma arXiv preprint arXiv:2311.05177, 2023		2023

The system can't perform the operation now. Try again later.

Articles 1–5