Login / Signup
A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems.
Susmoy Das
Arpit Sharma
Published in:
SAC (2024)
Keyphrases
</>
probabilistic model
probability distribution
stochastic systems