A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems.

Susmoy Das, Arpit Sharma

Browse the full SAC paper archive.