On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems.

Susmoy Das, Arpit Sharma

Browse the full FORTE paper archive.