|
[GGP20]
Debjani Ghosh, Satya Sankalp Gautam and Mayank Pandey.
An Extension For PRISM Model Checker To Reduce Computation Time For Steady State Probability Analysis.
In Proc. International Conference on Innovative Trends in Information Technology (ICITIIT'20).
2020.
[Proposes an extension of PRISM focusing on computing steady-state probabilities.]
|
|
Links:
[Google]
[Google Scholar]
|