Susmoy Das

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Probabilistic Model

Artifact Centric

Top Venues

Publications

Susmoy Das, Arpit Sharma
A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems. SAC (2024)
Susmoy Das, Arpit Sharma
Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court. CoRR (2023)
Susmoy Das, Arpit Sharma
On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems. FORTE (2023)
Susmoy Das, Arpit Sharma
Embeddings Between State and Action Based Probabilistic Logics. FACS (2022)
Susmoy Das, Arpit Sharma
State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains. EPEW (2021)
Susmoy Das, Arpit Sharma
Embeddings between state and action labeled probabilistic systems. SAC (2021)