Susmoy Das

11 papers C 1Misc 2Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Embeddings Between State and Action Based Probabilistic Logics.
Formal Aspects Comput.
Susmoy Das, Arpit Sharma
2025 — conf
Formal Analysis of Resilience in Transport Systems with Bigraphs.
SAFECOMP (Workshops)
Susmoy Das, Ricardo Almeida, Blair Archibald, Michele Sevegnani
2025 — conf
Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation.
RSSRail
Ricardo Almeida, Susmoy Das, Blair Archibald, Muffy Calder, Michele Sevegnani
2024 Misc conf
A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems.
SAC
Susmoy Das, Arpit Sharma
2024 — conf
Process Mining Meets Probabilistic Model Checking via Model and Logical Embeddings.
Principles of Verification (2)
Susmoy Das, Arpit Sharma
2023 C conf
On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems.
FORTE
Susmoy Das, Arpit Sharma
2023 — conf
Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court.
DataMod
Susmoy Das, Arpit Sharma
2023 J jnl
Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court.
CoRR
Susmoy Das, Arpit Sharma
2022 — conf
Embeddings Between State and Action Based Probabilistic Logics.
FACS
Susmoy Das, Arpit Sharma
2021 Misc conf
Embeddings between state and action labeled probabilistic systems.
SAC
Susmoy Das, Arpit Sharma
2021 — conf
State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains.
EPEW
Susmoy Das, Arpit Sharma