|
[HSB21]
Matej Hajnal, David Šafránek and Tatjana Petrov.
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications.
In Proc. 17th European Workshop on Performance Engineering and Stochastic Modeling (EPEW'21).
2021.
[Presents software for parameter inference of probabilistic models building on multiple underlying tools, including PRISM]
|
|
Links:
[Google]
[Google Scholar]
|