Folgen
Susmoy Das
Susmoy Das
Doctoral Student, Department of EECS, Indian Institute of Science Education and Research Bhopal
Bestätigte E-Mail-Adresse bei iiserb.ac.in
Titel
Zitiert von
Zitiert von
Jahr
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
32021
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
22023
Embeddings Between State and Action Based Probabilistic Logics
S Das, A Sharma
Formal Aspects of Component Software: 18th International Conference, FACS …, 2022
12022
State space minimization preserving embeddings for continuous-time Markov chains
S Das, A Sharma
Performance Engineering and Stochastic Modeling: 17th European Workshop …, 2021
12021
Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court
S Das, A Sharma
arXiv preprint arXiv:2311.05177, 2023
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5