|
[DS23]
Susmoy Das and Arpit Sharma.
On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems.
In Proc. International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'23).
2023.
[Proposes methods for translating between state and action based models, using PRISM to implement and evaluate the framework.]
|
|
Links:
[Google]
[Google Scholar]
|